Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report.
Jeremy PittJim CunninghamPublished in: IEA/AIE (1995)
Keyphrases
- formal language
- operational semantics
- specification language
- functional requirements
- order sorted
- delay insensitive
- model checker
- proof theory
- programming language
- formal descriptions
- linear temporal logic
- intuitionistic logic
- asynchronous circuits
- predicate logic
- dynamic logic
- written in natural language
- natural language
- formal semantics
- model checking
- multimedia
- user interface
- recursive programs
- computer graphics
- modal logic
- finite state machines
- modal operators
- model theoretic
- design requirements
- bounded model checking
- conditional logic
- predicate calculus
- formal verification
- highly expressive
- requirements engineering
- logic programming
- controlled natural language
- logic programs
- conceptual models
- software engineering