Promotional Information

Springer Book Archives

Table of Contents

Invited Talk 1.- Descriptions in Software Development.- Metamodelling.- A Metamodel for the Unified Modeling Language.- Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.- A Radical Reduction of UML’s Core Semantics.- Applying the UML.- Configuration Knowledge Representation Using UML/OCL.- Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies.- Adapting the UML to Business Modelling’s Needs—Experiences in Situational Method Engineering.- Digging into the Metamodel.- Analysis of UML Stereotypes within the UML Metamodel.- Stereotypical Encounters of the Third Kind.- Digging into Use Case Relationships.- Experience with MDA.- Practical Experiences in the Application of MDA.- Executable Design Models for a Pervasive Healthcare Middleware System.- Generating Code from UML with Velocity Templates.- Invited Talk 2.- Does Your Software Creak as It Runs?.- Real-Time & Formal Semantics.- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems.- A UML Profile for Real-Time Constraints with the OCL.- HOL-OCL: Experiences, Consequences and Design Choices.- Model Engineering 1.- Consistency-Preserving Model Evolution through Transformations.- Transformations and Software Modeling Languages: Automating Transformations in UML.- A Relational Approach to Defining Transformations in a Metamodel.- Profiles.- On Customizing the UML for Modeling Performance-Oriented Applications.- Modelling QoS: Towards a UML Profile.- Extending the UML for Multidimensional Modeling.- Model Engineering 2.- A Metamodel for Package Extension with Renaming.- Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning.- Rapid Development of Modular Dynamic Web Sites Using UML.-Invited Talk 3.- Software, Heal Thyself!.- Methodology.- The Specification of UML Collaborations as Interaction Components.- Measuring OO Design Metrics from UML.- The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects.- Diagram Interchange & Security.- Diagram Interchange for UML.- UMLsec: Extending UML for Secure Systems Development.- SecureUML: A UML-Based Modeling Language for Model-Driven Security.- Workshops and Tutorials.- Workshops and Tutorials at the UML 2002 Conference.