UML'99 - The Unified Modeling Language: Beyond the Standard Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
Έκδοση: | 1st ed. 1999. |
Σειρά: | Lecture Notes in Computer Science,
1723 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Talk 1 (Abstract)
- Architecting Web-Based Systems with the Unified Modeling Language
- Software Architecture
- Extending Architectural Representation in UML with View Integration
- Enabling the Refinement of a Software Architecture into a Design
- Using the UML for Architectural Description
- UML and Other Notations
- Viewing the OML as a Variant of the UML
- A Comparison of the Business Object Notation and the Unified Modeling Language
- Formalizing the UML Class Diagram Using Object-Z
- Formalizing Interactions
- A Formal Approach to Collaborations in the Unified Modeling Language
- A Formal Semantics for UML Interactions
- Panel 1
- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?
- Meta-Modeling
- Core Meta-Modelling Semantics of UML: The pUML Approach
- A Metamodel for OCL
- Tools
- Tool-Supported Compression of UML Class Diagrams
- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository
- Components
- Modeling Dynamic Software Components in UML
- Extending UML for Modeling Reflective Software Components
- UML Extension Mechanisms
- Nine Suggestions for Improving UML Extensibility
- A Classification of Stereotypes for Object-Oriented Modeling Languages
- First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns
- Process Modeling
- UML-Based Fusion Analysis
- Using UML for Modelling the Static Part of a Software Process
- Framework for Describing UML Compatible Development Processes
- Invited Talk 2
- On the Behavior of Complex Object-Oriented Systems
- Real-Time Systems
- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain
- Modeling Hard Real Time Systems with UML The OOHARTS Approach
- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems
- Constraint Languages
- Defining the Context of OCL Expressions
- Mixing Visual and Textual Constraint Languages
- Correct Realizations of Interface Constraints with OCL
- Analyzing UML Models 1
- Generating Tests from UML Specifications
- Formalising UML State Machines for Model Checking
- Panel 2
- SDL as UML: Why and What Panel
- Coding 1
- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages
- UML Collaboration Diagrams and Their Transformation to Java
- Analyzing UML Models 2
- Towards Three-Dimensional Representation and Animation of UML Diagrams
- Typechecking UML Static Models
- Precise Behavioral Modeling
- Analysing UML Use Cases as Contracts
- Closing the Gap between Object-Oriented Modeling of Structure and Behavior
- Static Modeling
- Black and White Diamonds
- Interconnecting Objects via Contracts
- How Can a Subsystem Be Both a Package and a Classifier?
- Applying the UML
- Using UML/OCL Constraints for Relational Database Design
- Towards a UML Extension for Hypermedia Design
- Why Unified Is not Universal
- Sequence Diagrams
- Timed Sequence Diagrams and Tool-Based Analysis - A Case Study
- Timing Analysis of UML Sequence Diagrams
- Coding 2
- The Normal Object Form: Bridging the Gap from Models to Code
- Modeling Exceptional Behavior
- Panel 3
- Advanced Methods and Tools for a Precise UML.