Towards a Precise Semantics for Object-Oriented Modeling Techniques-Reference-Cited by-同舟云学术

Towards a Precise Semantics for Object-Oriented Modeling Techniques

Published:1998 Issue: Volume: Page:205-210
ISSN:0302-9743
Container-title:Object-Oriented Technologys
language:
Short-container-title:

Author:

Breu Ruth,Grosu Radu,Huber Franz,Rumpe Bernhard,Schwerin Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-69687-3_42

Reference12 articles.

1. Lect Notes Comput Sci;B.B.B.+.8.5._.F.L. Bauer,1985

2. BFG+93._M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0, Part 1 and 2. Technical Report TUM-I9312, Technische Universität München, 1993.

3. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.0, 1996.

4. David Flanagan. Java in a Nutshell: A Desktop Quick Reference for Java Programmers. O’Reilly & Associates, Inc., 1996.

5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1994.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Introduction to Ontologies and Ontology Engineering;Advanced Information and Knowledge Processing;2011

2. The Use of UML as a Tool for the Formalisation of Standards and the Design of Ontologies in Agriculture;Springer Optimization and Its Applications;2008-09-15

3. The KeY tool;Software & Systems Modeling;2005-02

4. Imposing Modeling Rules on Industrial Applications through Meta-modeling;Conceptual Modeling for New Information Systems Technologies;2002

5. The Approach: Integrating Object Oriented Design and Formal Verification;Logics in Artificial Intelligence;2000