Perdita Stevens, Jon Whittle, Grady Booch
Proceedings of the Sixth International Conference on the Unified Modeling Language, Modeling Languages and Applications
UML, 2003.

@proceedings{UML-2003,
	address       = "San Francisco, California, USA",
	editor        = "Perdita Stevens and Jon Whittle and Grady Booch",
	isbn          = "3-540-20243-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on the Unified Modeling Language, Modeling Languages and Applications}",
	volume        = 2863,
	year          = 2003,
}

Contents (33 items)

17 ×#uml
11 ×#modelling
4 ×#consistency
4 ×#named
3 ×#automation
3 ×#ocl
3 ×#testing
3 ×#web
2 ×#architecture
2 ×#case study

UML-2003-Coad #agile #process

Agile Processes: Developing Your Own “Secret Recipes” (PC), p. 1.

UML-2003-AlanenP #difference #modelling

Difference and Union of Models (MA, IP), pp. 2–17.

UML-2003-ChristophM #middleware #migration #named #uml

GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.

UML-2003-SussLWK #evolution #validation

Model-Centric Engineering with the Evolution and Validation Environment (JGS, AL, HW, RDK), pp. 31–43.

UML-2003-CabotOT #representation #uml

Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.

UML-2003-ShankarA #realtime #semantics #uml

Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.

UML-2003-JansenHK #uml

A QoS-Oriented Extension of UML Statecharts (DNJ, HH, JPK), pp. 76–91.

UML-2003-SchmidtV #model checking #modelling #named #visual notation

CheckVML: A Tool for Model Checking Visual Modeling Languages (ÁS, DV), pp. 92–95.

UML-2003-BackBLMP #empirical

A Workbench to Experiment on New Model Engineering Applications (RJB, DB, JL, LM, IP), pp. 96–100.

UML-2003-LohmannSS #development #modelling #named #tool support #web

ProGUM-Web: Tool Support for Model-Based Development of Web Applications (ML, SS, TS), pp. 101–105.

UML-2003-SteimannGM #modelling #object-oriented #on the

On the Key Role of Compositioning Object-Oriented Modelling (FS, JG, TAM), pp. 106–120.

UML-2003-Egyed #abstraction #composition #reasoning #relational

Compositional and Relational Reasoning during Class Abstraction (AE), pp. 121–137.

UML-2003-YangX #architecture #case study #encoding #experience #uml

Encoding Informal Architectural Descriptions with UML: An Experience Report (YY, JX), pp. 138–142.

UML-2003-Rouquette #architecture #uml

UML/MDA Reality Check: Heterogenous Architecture Style (NFR), p. 143.

UML-2003-GorpSMD #automation #refactoring #towards #uml

Towards Automating Source-Consistent UML Refactorings (PVG, HS, TM, SD), pp. 144–158.

UML-2003-Porres #refactoring #rule-based

Model Refactorings as Rule-Based Update Transformations (IP), pp. 159–174.

UML-2003-BezivinFJLP #modelling

Reflective Model Driven Engineering (JB, NF, JMJ, BL, DP), pp. 175–189.

UML-2003-PleumannH #modelling #runtime #web

A Model-Driven Runtime Environment for Web Applications (JP, SH), pp. 190–204.

UML-2003-DologN #adaptation #generative #navigation #sequence #uml #using #xmi

Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems (PD, WN), pp. 205–219.

UML-2003-MullerSB #framework #independence #modelling #platform #web

Platform Independent Web Application Modeling (PAM, PS, JB), pp. 220–233.

UML-2003-PilskalnsAGF #behaviour #testing #uml

Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.

UML-2003-BriandCL #automation #testing #towards #uml

Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.

UML-2003-GogollaBR #automation #generative #modelling #ocl #uml #validation

Validation of UML and OCL Models by Automatic Snapshot Generation (MG, JB, MR), pp. 265–279.

UML-2003-Isoda #uml

A Critique of UML’s Definition of the Use-Case Class (SI), pp. 280–294.

UML-2003-Balsters #database #modelling #ocl #uml

Modelling Database Views with Derived Classes in the UML/OCL-Framework (HB), pp. 295–309.

UML-2003-Nunes #contract #ocl

An OCL Extension for Low-Coupling Preserving Contracts (IN), pp. 310–324.

UML-2003-Fowler #question #uml #what

What Is the Point of the UML? (MF), p. 325.

UML-2003-StraetenMSJ #consistency #logic #maintenance #modelling #uml #using

Using Description Logic to Maintain Consistency between UML Models (RVDS, TM, JS, VJ), pp. 326–340.

UML-2003-NytunJ #consistency #legacy #modelling #requirements #testing

Modeling and Testing Legacy Data Consistency Requirements (JPN, CSJ), pp. 341–355.

UML-2003-EngelsHK #consistency #development #uml

The Consistency Workbench: A Tool for Consistency Management in UML-Based Development (GE, RH, JMK), pp. 356–359.

UML-2003-Jurjens #safety #uml

Developing Safety-Critical Systems with UML (JJ), pp. 360–372.

UML-2003-AlghathbarW #case study #consistency #data access #policy

Consistent and Complete Access Control Policies in Use Cases (KA, DW), pp. 373–387.

UML-2003-HaugenS #interactive #named #refinement #semantics

STAIRS — Steps to Analyze Interactions with Refinement Semantics (ØH, KS), pp. 388–402.