Title :
Formal semantics of some functional constructs of the software requirements definition language NDRDL
Author :
Dong, Lijun ; Xu, Jiafu
Author_Institution :
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
Abstract :
NDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To avoid the impreciseness and inconsistency of its informal semantics, this paper presents formal semantics of some functional constructs of NDRDL. Different ways and means are adopted according to the inherent characteristics of different constructs
Keywords :
computer aided software engineering; diagrams; formal specification; specification languages; NDRASS; NDRDL; diagrams; formal semantics; functional constructs; functional requirements; nonfunctional requirements; software requirements analysis support system; software requirements definition language; source language; Computational fluid dynamics; Computer languages; Computer science; Control systems; Design for disassembly; Dictionaries; Graph theory; Laboratories;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.625086
