Formal Problem Specification on an Algebraic Basis.

Helmuth Partsch

Published in: Formal Program Development (1993)

Keyphrases

formal specification
formal methods
mathematical theory
specification languages
requirements specification
neural network
high level
operational semantics
formal language
data sets
reactive systems
real world
genetic algorithm
search engine
natural language