An axiomatic approach to structuring specifications.

Razvan Diaconescu

Published in: Theor. Comput. Sci. (2012)

Keyphrases

formal specification
high level
delay insensitive
written in natural language
neural network
information systems
genetic algorithm
decision making
decision trees
bayesian networks
software systems
finite state machines
functional requirements
operational semantics