J. Warmer and A. Kleppe. The object constraint language: precise modeling with UML. Addison-Wesley, Boston, MA, USA, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
J. Warmer and A. Kleppe. The object constraint language: precise modeling with UML. Addison-Wesley, Boston, MA, USA, 1999.
A Model-Driven Runtime Environment for Web - Applications Jorg Pleumann (Correct)
No context found.
Warmer, J., Kleppe, A.G.: The Object Constraint Language: Precise Modeling with UML. Addison Wesley (1999)
Software and Systems Modeling manuscript No. - Will Be Inserted (Correct)
No context found.
Jos Warmer and Anneke G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.
Software Model Engineering and Reuse with the Evolution - And Validation Environment (Correct)
No context found.
Jos B. Warmer and Anneke G. Kleppe. The object constraint language: precise modeling with UML. Addison-Wesley, 1999. ISBN 0-201-37940-6.
Symbolic Model Checking of Declarative Relational Models.. - Fschang Mit Edu (2006) (Correct)
No context found.
Jos B. Warmer and Anneke G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
A Formal Approach to Heterogeneous - Software Modeling Alexander (Correct)
No context found.
Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling With UML, Addison-Wesley, 1999
Automating the Analysis of Design Component Contracts - Dong, al. (2006) (Correct)
No context found.
Warmer JB, Kleppe AG. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley: Reading, MA, 1998.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Publishing Company, 1999.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Publishing Company, 1999.
Visualizing Design Patterns With A UML Profile - Jing Dong And (2003) (Correct)
No context found.
Jos B. Warmer and Anneke G. Kleppe. The Object Constraint Language: Precise Modeling with UML. AddisonWesley, 1998.
Visualizing Design Patterns with a UML Profile - Dong, Yang (2003) (Correct)
No context found.
J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
Extending UML to Visualize Design Patterns in Class Diagrams - Dong, Yang (Correct)
No context found.
J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
A Model-Driven Runtime Environment for Web Applications - Haustein, Pleumann (2005) (Correct)
No context found.
Jos Warmer and Anneke G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.
On a Temporal Logic for Object-Based Systems - Distefano, Katoen, Rensink (19 citations) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Publishing Company, 1999. 18
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Warmer J, Kleppe A (1999) The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading, MA
Towards the Completion of the Formal Semantics of OCL 2.0 - Flake (2004) (Correct)
No context found.
Warmer, J. & Kleppe, A. (1999), The Object Constraint Language: Precise Modeling with UML, Addison-Wesley.
Specification and Formal Verification Of Temporal.. - Flake, Mueller, Pape.. (2004) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1999.
The Definition of Transitive Closure with OCL - Limitations and.. - Baar (2003) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
No context found.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
A Real-time Profile for UML and how to adapt it to SDL - Graf, Ober (2003) (1 citation) (Correct)
No context found.
Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
Formal Specification of Security-relevant Properties of.. - Beckert, Beuster (2004) (Correct)
No context found.
J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley Professional, 1998.
An Approach for Supporting Aspect-Oriented Domain.. - Gray, Bapty, Neema.. (2003) (2 citations) (Correct)
No context found.
Jos Warmer and Anneke Kleppe, The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, 1999.
Modular UML Semantics: Interpretations in Z Based on.. - Amalio, Stepney, Polack (Correct)
No context found.
Warmer, J., Kleppe, A. The Object Constraint Language: precise modeling with UML. Addison-Wesley (1999)
Management of Multiply Represented Geographic Entities - Anders Friis-Christensen.. (2002) (Correct)
No context found.
J. B. Warmer and A. G. Kleppe. The Object Constraint Language : Precise Modeling with UML. Object Technology Series. Addison-Wesley, USA, 1st edition, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC