Lessons from using Basic LOTOS
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We describe three case studies in the use of Basic LOTOS for electronic switching systems software. The studies cover design recovery, requirements specification, 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 specific analysis tools. The last case study reports some of the results of these changes.Keywords
This publication has 9 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Software productivity measurementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Feature interactions in telecommunications systemsIEEE Communications Magazine, 1993
- Specifying telephone systems in LOTOSIEEE Communications Magazine, 1993
- Total Quality Management for a Large Software ProjectAT&T Technical Journal, 1992
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Formal specification of telephone systems in LOTOS: the constraint-oriented style approachComputer Networks and ISDN Systems, 1991
- Formal modelling of telematic services using LOTOSMicroprocessing and Microprogramming, 1989
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980