UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Stevens, Perdita (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Whittle, Jon (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Booch, Grady (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2863
• Θέματα: Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer simulation.; Management information systems.; Computer science.; Programming Techniques.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Management of Computing and Information Systems.

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...

Πίνακας περιεχομένων:

• 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 Preserving Contracts
• 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.