Automatic synthesis of SDL models in Use Case Methodology

This publication has 3 references indexed in Scilit:

• Improving the use case driven approach to requirements engineering
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal specification and use case generation for a mobile telephony system
  Computer Networks and ISDN Systems, 1998
• Synthesis of communication protocols: survey and assessment
  IEEE Transactions on Computers, 1991