Reasoning with UML class diagrams

Proceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998

Volumn 1998-October, Issue , 1998, Pages 102-113

  Evans, A S ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; GRAPHIC METHODS; SEMANTICS;

ANALYSIS TECHNIQUES; CLASS DIAGRAMS; INDUSTRY STANDARDS; OBJECT-ORIENTED SYSTEM; PRECISE ANALYSIS; REASONING SYSTEM; RIGOROUS ANALYSIS; UML CLASS DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 84957568378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIFT.1998.766304     Document Type: Conference Paper

References (16)

1. Folwer M., UML Distilled, Addison-Wesley, 1997.
2. Rumbaugh T. et al., Object-Oriented Modeling and Design, Prentice Hall, 1991.
3. Booch, G., Object-Oriented Analysis and Design with Applications (2nd Ed), Benjamin Cummings, 1994.
4. Coleman, et al., Object-Oriented Development: The Fusion Method, Prentice Hall, 1994.
5. Bruel, J.M., France, B and Larrondo-Petrir, M., CASE-based Rigorous Object-Oriented Methods, In A.S.Evans and D.J.Duke, Procs of the 1st Northern Formal Methods Workshop, Springer eWiC series, 1997.
6. Randolph Johnson, D., Kilov, H., Can a flat notation be used to specify an OO system: Using Z to describe RM-ODP constructs, In Elie Najm and Jen-Bernard Stephani, editors, Procs of the 1st IFIPWorkshop on Formal Methods for Open Object-based Distributed Systems, pages 407-418, Chapman and Hall, 1996.
7. Lano, K., Haughton, H., The Z++ Manual. Technical Report, Imperial College, 1994.
8. Duke, D., Object-Oriented Formal Specification, PhD thesis, University of Queensland, 1991.
9. Booch, G., Jacobson, C., and Rumbaugh, J., The Unified Modeling Language-A reference manual, Addison Wesley, 1998.
10. Booch, G., Jacobson, C., and Rumbaugh, J., The Unified Modeling Language Semantics Document (version 1.1), available from http://www.rational.com/uml, 1998.
11. Spivey, J.M., The Z Notation-A reference manual, Prentice Hall, 2nd Edition, 1992.
12. France, R., Evans A., Lano K., and Rumpe B., The UML as a Formal Modeling Notation, Computer Standards and Interfaces, No. 19, pages 325-334, 1998.
13. France, R., J-M. Bruel, and M.M. Larrondo-Petrie.An Integrated Object-Oriented and Formal Modelling Environment, Journal of Object-Oriented Programming, To appear.
14. Gamma, E., Helm, H., Johnson R., Vlissides, J., Design Patterns: Elements of Resuable Object-Oriented Software. AddisonWesley. 1994.
15. Lano, K., Formalizing Design Patterns, Procs. of 1st Northern Formal Methods Workshop, Springer eWiC series, 1996.
16. Lano K., Sanchez, A., Transformation Formal Development of Real-time systems, Transformation-based Reactive Systems Development, M Bertran, T. Rus (Eds), LNCS vol 1231, Springer-Verlag, 1997.