Formal semantics of some functional constructs of the software requirements definition language NDRDL.
Lijun DongJiafu XuPublished in: COMPSAC (1997)
Keyphrases
- formal semantics
- definition language
- software requirements
- systems development
- software development
- data model
- software systems
- object oriented
- software architecture
- development process
- functional requirements
- modeling language
- requirements engineering
- planning domains
- object oriented databases
- theorem prover
- software engineering
- knowledge based systems
- object relational
- artificial intelligence
- query processing
- user interface
- metadata