Specification Languages in Computer Aided Software Engineering
Loading...
Authors
Luqi
Subjects
Advisors
Date of Issue
1988-03
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
One of the most important goals in CASE is to automate the design effort at the early phases of software development. The only way to achieve a high degree of automation is to create mechanically processable documents at the specification level. Thus formal specification level. Thus formal specification languages are the basis of CASE. This paper examines a number of specification languages, including MSG (MeSsaGe), PSDL (Prototype System Description Language), and Spec (Specification Language). It describes the general principles, language features and basic structures for each of them. The purposes and benefits of using a formal specification language are discussed. The differences among these languages and the areas where each of them apply are explained to help designers choose the right specification language and CASE tools for their applications.
Type
Technical Report
Description
Author-contributed print item
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
NPS52-88-005
Sponsors
Funding
Format
Citation
Luqi, "Specification Languages in Computer Aided Software Engineering'', Technical Report NPS 52- 88-005, Computer Science Department, Naval Postgraduate School, 1988.