DocumentCode
2746946
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
fYear
1997
fDate
11-15 Aug 1997
Firstpage
642
Lastpage
645
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location
Washington, DC
ISSN
0730-3157
Print_ISBN
0-8186-8105-5
Type
conf
DOI
10.1109/CMPSAC.1997.625086
Filename
625086
Link To Document