Formal semantics of some functional constructs of the software requirements definition language NDRDL

Authors:
Lijun Dong;Jiafu Xu
Affiliations:
-;-
Venue:
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Year:
1997

Citing 3
Cited 0

The transformation schema: An extension of the data flow diagram to represent control and timing

IEEE Transactions on Software Engineering
Towards a formal foundation for DeMarco data flow diagrams

The Computer Journal
Semantically Extended Dataflow Diagrams: A Formal Specification Tool

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.