Modular Architecture for a Toolset Supporting OCL-Reference-Cited by-同舟云学术

Modular Architecture for a Toolset Supporting OCL

Published:2000 Issue: Volume: Page:278-293
ISSN:0302-9743
Container-title:≪UML≫ 2000 — The Unified Modeling Language
language:
Short-container-title:

Author:

Hussmann Heinrich,Demuth Birgit,Finger Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-40011-7_20

Reference12 articles.

1. Baar, Th.: Experiences with the UML/OCL-Approach to Precise Software Modeling: A Report from Practice, Unpublished report 2000, see http://i12www.ira.uka.de/~projekt/publicat.htm

2. Buschmann, F. et al.: Pattern-Oriented Software Architecture — A System of Patterns. John Wiley and Sons Ltd, Chichester, UK, 1996

3. Booch, G., Rumbaugh, J., Jacobson, I.: The UnifiedModeling Language User Guide. Addison-Wesley, 1999

4. Demuth, B., Hussmann, H.: Using OCL Constraints for Relational Database Design. in: UML’99 The Unified Modeling Language, Second Int. Conference Fort Collins, CO, USA, October 1999, Springer, 1999

5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley, 1995

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

1. A Library-Based Approach for Writing Design Assertions;2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA);2023-05-23

2. Automatic Translation of OCL Meta-Level Constraints into Java Meta-Programs;Studies in Computational Intelligence;2015-10-15

3. A Methodology for Verifying Refinements of Partial Models.;The Journal of Object Technology;2015

4. DSL Implementation for Model-Based Development of Pumps;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2014

5. Model-driven approach to modeling and validating integrity constraints for XML with OCL and Schematron;Information Systems Frontiers;2013-12-18