Lessons from Using Basic LOTOS

We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from the studies. Early lessons suggested changes to the syntax of the language used, and the need for some speci c analysis tools. The last case study reports some of the results of these changes.

• Type: Conference
• Year: 1994
• Where: ICSE
• Authors: Mark A. Ardis
• Keywords: Case Studies, ICSE 1994, Requirements Speci Cation, Software Engineering, Studies Cover Design