|
|
|
|
LEADER |
04626nmm a2200385 u 4500 |
001 |
EB001884455 |
003 |
EBX01000000000000001047822 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
191115 ||| eng |
020 |
|
|
|a 9783540468523
|
100 |
1 |
|
|a France, Robert B.
|e [editor]
|
245 |
0 |
0 |
|a UML'99 - The Unified Modeling Language: Beyond the Standard
|h Elektronische Ressource
|b Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings
|c edited by Robert B. France, Bernhard Rumpe
|
250 |
|
|
|a 1st ed. 1999
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1999, 1999
|
300 |
|
|
|a XVII, 726 p
|b online resource
|
505 |
0 |
|
|a 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 --
|
505 |
0 |
|
|a 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-OrientedDistributed Systems -- Constraint Languages -- Defining the Context of OCL Expressions -- Mixing Visual and Textual Constraint Languages --
|
505 |
0 |
|
|a 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 --
|
505 |
0 |
|
|a 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.
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Electrical and Electronic Engineering
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Electrical engineering
|
653 |
|
|
|a IT in Business
|
653 |
|
|
|a Business information services
|
700 |
1 |
|
|a Rumpe, Bernhard
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Lecture Notes in Computer Science
|
028 |
5 |
0 |
|a 10.1007/3-540-46852-8
|
856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-46852-8?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 621.3
|