Title: NUSL: An executable specification language based on data abstraction
Abstract: It proves very useful to give a formal specification of the software to be developed before the development. To write formal specifications, a specification language is to be used. This paper describes the specification language NUSL which has a supporting system. NUSL is an applicative executable specification language, centered around the concept of data abstraction, with module construct in it. Both the algebraic and the model-oriented specification techniques of abstract data types are embedded in the language. NUSL is an applicative language which is readable and mathematical. With the module construct, it is convenient to use NUSL to write large specifications. Because the language is executable, a specification in NUSL may be viewed as a prototype of the specified system and be executed on the supporting system. The supporting system provides static checking and dynamic execution facilities.
Publication Year: 1988
Publication Date: 1988-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot