Development of UML descriptions with USE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2510 LNCS, Issue , 2002, Pages 228-238

  Gogolla, Martin ^a   Richters, Mark ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

HIGH QUALITY; NEW APPROACHES; OBJECT CONSTRAINT LANGUAGE; OBJECT-ORIENTED SYSTEM; SYSTEM BEHAVIORS; SYSTEM STRUCTURES; UML SPECIFICATIONS; UML STATECHARTS;

OBJECT ORIENTED PROGRAMMING;

EID: 84896955243     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36087-5_27     Document Type: Conference Paper

References (9)

1. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I.P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proc. 8th Europ. Workshop Logics in AI (JELIA), LNCS 1919, pages 21-36. Springer, 2000.
2. J. Álvarez, A. Evans, and P. Sammut. Mapping between levels in the metamodel architecture. In M. Gogolla and C. Kobryn, editors, Proc. 4th Int. Conf. UML (UML'2001), pages 34-46. Springer, LNCS 2185, 2001.
3. G. Georg and J. Bieman. Using Alloy and UML/OCL to Specify RunTime Configuration Management: A Case Study. In A. Evans, R. France, A. Moreira, and B. Rumpe, editors, Proc. UML'2001Workshop on Rigorous Development, pages 69-70. LNI, German Informatics Society, 2001.
4. M. Gogolla and M. Richters. USE Specification Text for the Traffic Light Case Study. ftp://ftp.informatik.uni-bremen.de/local/db/ papers/trali.use, 2002.
5. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, LNCS 1939, pages 278-293. Springer, 2000.
6. OMG, editor. OMG Unified Modeling Language Specification, Version 1.4. OMG, September 2001. www.omg.org.
7. M. Richters and M. Gogolla. A Metamodel for OCL. In R. France and B. Rumpe, editors, Proc. 2nd Int. Conf. UML (UML'99), pages 156-171. Springer, LNCS 1723, 1999.
8. M. Richters and M. Gogolla. OCL - Syntax, Semantics and Tools. In T. Clark and J. Warmer, editors, Advances in Object Modelling with the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
9. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.