Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lessons from Using Basic LOTOS Experience Report

Summary: Lessons from Using Basic LOTOS
Experience Report
Mark A. Ardis
Software Production Research
AT&T Bell Laboratories
Naperville, IL 60566-7013
We describe three case studies in the use of Basic
LOTOS. The studies cover design recovery, require-
ments speci cation, and design activities. We also re-
port 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.
KEYWORDS: formal speci cation, LOTOS, software
design, software requirements, switching systems
1 Introduction
Formal methods have been proposed as an improve-
ment over current practice in software development.
In particular, formal methods claim to reduce errors


Source: Ardis, Mark - School of Systems and Enterprises, Stevens Institute of Technology


Collections: Computer Technologies and Information Sciences