| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465599103316 |
|
|
Titolo |
UML'99 - the unified modeling language : beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings / / edited by Robert France, Bernhard Rumpe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer, , [1999] |
|
©1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1999.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 726 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; 1723 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
UML (Computer science) |
Computer software - Development |
Object-oriented methods (Computer science) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
| |