Combining object-oriented analysis and formal description techniques
- 7 June 2006
- book chapter
- Published by Springer Nature
- p. 344-364
- https://doi.org/10.1007/bfb0052191
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Os Métodos Formais na Análise de Orientação por ObjectosPublished by Sociedade Brasileira de Computacao - SB ,1993
- Object behavior analysisCommunications of the ACM, 1992
- Inheritance in LOTOSPublished by Elsevier ,1992
- Specifications are (preferably) executableSoftware Engineering Journal, 1992
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985