DocumentCode
1888055
Title
Lessons from using Basic LOTOS
Author
Ardis, Mark A.
Author_Institution
Software Prod. Res., AT&T Bell Labs., Naperville, IL, USA
fYear
1994
fDate
16-21 May 1994
Firstpage
5
Lastpage
14
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
electronic switching systems; formal specification; specification languages; Basic LOTOS; ESS; analysis tools; case studies; design activities; design recovery; formal specification; requirements specification; software design; software requirements; switching systems; syntax; telecom computing; Automata; Electronic equipment testing; Formal specifications; Production; Programming; Software design; Software systems; Software testing; Switching systems; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1994. Proceedings. ICSE-16., 16th International Conference on
Conference_Location
Sorrento
ISSN
0270-5257
Print_ISBN
0-8186-5855-X
Type
conf
DOI
10.1109/ICSE.1994.296761
Filename
296761
Link To Document