Formal specification and use case generation for a mobile telephony system

This publication has 13 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Structural models for specifying telephone systems
  Computer Networks and ISDN Systems, 1997
• Adding rigour to object-oriented analysis
  Software Engineering Journal, 1996
• Making use
  Communications of the ACM, 1994
• Formal approach to scenario analysis
  IEEE Software, 1994
• Making changes to formal specifications: requirements and an example
  IEEE Transactions on Software Engineering, 1994
• An introduction to LOTOS: learning by examples
  Computer Networks and ISDN Systems, 1992
• A toolbox for the verification of LOTOS programs
  Published by Association for Computing Machinery (ACM) ,1992
• Rewrite Systems
  Published by Elsevier ,1990
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985