UML 2003 - The Unified Modeling Language : modeling languages and applications : 6th international conference, San Fransisco, CA, USA, october 20-24, 2003 : proceedings
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands wha...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2863 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • UML 2003, the unified modeling language, modeling languages and applications, 6th international conference, San Fransisco, CA, USA, october 20-24, 2003, proceedings, Perdita Stevens, Jon Whittle, Grady Booch (eds.), Berlin, Springer, 2003, 1 vol. (XIV-413 p.), Lecture notes in computer science, 3-540-20243-9 • UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications, Texte imprimé, 9783662196120 |
Inhaltsangabe:
- Inivited Talk 1
- Agile Processes: Developing Your Own Secret Recipes
- Practical Model Management
- Difference and Union of Models
- GREAT: UML Transformation Tool for Porting Middleware Applications
- Model-Centric Engineering with the Evolution and Validation Environment
- Time and Quality of Service
- Representing Temporal Information in UML
- Formal Semantics of UML with Real-Time Constructs
- A QoS-Oriented Extension of UML Statecharts
- Short Tool Papers
- CheckVML: A Tool for Model Checking Visual Modeling Languages
- A Workbench to Experiment on New Model Engineering Applications
- ProGUM-Web: Tool Support for Model-Based Development of Web Applications
- Composition and Architecture
- On the Key Role of Composition in Object-Oriented Modelling
- Compositional and Relational Reasoning During Class Abstraction
- Encoding Informal Architectural Descriptions with UML: An Experience Report
- Inivited Talk 2
- UML/MDA Reality Check: Heterogenous Architecture Style
- Transformation
- Towards Automating Source-Consistent UML Refactorings
- Model Refactorings as Rule-Based Update Transformations
- Reflective Model Driven Engineering
- The Web
- A Model-Driven Runtime Environment for Web Applications
- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems
- Platform Independent Web Application Modeling
- Testing and Validation
- Rigorous Testing by Merging Structural and Behavioral UML Representations
- Towards Automated Support for Deriving Test Data from UML Statecharts
- Validation of UML and OCL Models by Automatic Snapshot Generation
- Improving UML/OCL
- A Critique of UML s Definition of the Use-Case Class
- Modelling Database Views with Derived Classes in the UML/OCL-framework
- An OCL Extension for Low-Coupling PreservingContracts
- Invited Talk 3
- What Is the Point of the UML?
- Consistency
- Using Description Logic to Maintain Consistency between UML Models
- Modeling and Testing Legacy Data Consistency Requirements
- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development
- Methodology
- Developing Safety-Critical Systems with UML
- Consistent and Complete Access Control Policies in Use Cases
- STAIRS Steps To Analyze Interactions with Refinement Semantics
- Workshops and Tutorials
- Workshops at the UML 2003 Conference
- Tutorials at the UML 2003 Conference.