Use Case Maps and Lotos for the prototyping and validation of a mobile group call system

This publication has 14 references indexed in Scilit:

• Formal methods for mobility standards
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Use case maps for the capture and validation of distributed systems requirements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• UCM-ROOM modelling: from use case maps to communicating state machines
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Use case maps as architectural entities for complex systems
  IEEE Transactions on Software Engineering, 1998
• Telecommunications service development: A design methodology and its intelligent support
  Engineering Applications of Artificial Intelligence, 1997
• Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995
  Computer Networks and ISDN Systems, 1996
• A framework for evaluating specification methods for reactive systems-experience report
  IEEE Transactions on Software Engineering, 1996
• Adding rigour to object-oriented analysis
  Software Engineering Journal, 1996
• Formal approach to scenario analysis
  IEEE Software, 1994
• Optimal Insertion of Software Probes in Well-Delimited Programs
  IEEE Transactions on Software Engineering, 1982