Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.
Herbert KlaerenPublished in: ADT (1983)
Keyphrases
- control flow
- specification language
- written in natural language
- formal semantics
- requirements specification
- operational semantics
- software systems
- software development
- formal specification
- software architecture
- cost reduction
- data flow
- logic programming
- software tools
- software components
- source code
- formal language
- reactive systems
- algebraic structure
- software engineering
- databases
- requirements engineering
- logic programs
- formal verification
- software requirements
- decision making