E-Books durchsuchen
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools [2001]
- 1
-
The Preacher at Arrakeen
- 2
-
An Action Semantics for MML
- 19
-
The Essence of Multilevel Metamodeling
- 34
-
Mapping between Levels in the Metamodel Architecture
- 47
-
An Execution Algorithm for UML Activity Graphs
- 62
-
Timing Analysis of UML Activity Diagrams
- 76
-
UML Activity Diagrams as a Workflow Specification Language
- 91
-
On Querying UML Data Models with OCL
- 104
-
OCL as a Specification Language for Business Rules in Database Applications
- 118
-
A Formal Semantics for OCL 1.4
- 134
-
Refactoring UML Models
- 149
-
UML Support for Designing Software Systems as a Composition of Design Patterns
- 166
-
Integrating the ConcernBASE Approach with SADL
- 182
-
The Message Paradigm in Object-Oriented Analysis
- 194
-
A UML-Based Approach to System Testing
- 209
-
UML Modelling and Performance Analysis of Mobile Software Architectures
- 225
-
Extending UML for Object-Relational Database Design
- 240
-
Understanding UML — Pains and Rewards
- 241
-
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
- 257
-
A Visualization of OCL Using Collaborations
- 272
-
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
- 287
-
A New UML Profile for Real-Time System Formal Design and Validation
- 302
-
Representing Embedded System Sequence Diagrams as a Formal Language
- 317
-
Scenario-Based Monitoring and Testing of Real-Time UML Models
- 329
-
Semantics of the Minimum Multiplicity in Ternary Associations in UML
- 342
-
Extending UML to Support Ontology Engineering for the Semantic Web
- 361
-
On Associations in the Unified Modelling Language
- 376
-
iState: A Statechart Translator
- 391
-
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
- 406
-
Formalization of UML-Statecharts
- 422
-
UML for Agent-Oriented Software Development: The Tropos Proposal
- 442
-
A UML Meta-model for Contract Aware Components
- 457
-
A Specification Model for Interface Suites
- 472
-
Against Use Case Interleaving
- 487
-
Estimating Software Development Effort Based on Use Cases — Experiences from Industry
- 503
-
Workshops and Tutorials at the UML 2001 Conference