Formal validation of viewpoint specifications.
Mike AinsworthSteve RiddlePeter J. L. WallisPublished in: Softw. Eng. J. (1996)
Keyphrases
- viewpoint
- formal specification
- reactive systems
- formal language
- formal descriptions
- requirements specification
- high level
- multiple views
- delay insensitive
- operational semantics
- controlled natural language
- d objects
- formal model
- specification language
- machine learning
- requirements engineering
- formal methods
- conceptual models
- formal semantics
- object class
- asynchronous circuits
- illumination conditions
- petri net
- artificial intelligence
- genetic algorithm
- real time
- active object recognition