Rigorous object-oriented analysis

This publication has 9 references indexed in Scilit:

• Combining object-oriented analysis and formal description techniques
  Published by Springer Nature ,2006
• The integration of LOTOS with an object oriented development method
  Published by Springer Nature ,2005
• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Use of LOTOS in the formal development of an OSI protocol
  Computer Communications, 1992
• Inheritance in LOTOS
  Published by Elsevier ,1992
• An insider's evaluation of PAISLey
  IEEE Transactions on Software Engineering, 1991
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980