Slicing algebraic specifications.

Martin R. Woodward Stephen Peter Allen

Published in: Inf. Softw. Technol. (1998)

Keyphrases

high level
formal specification
functional requirements
delay insensitive
case study
program slicing
specification language
algebraic structure
linear algebra
formal descriptions
algebraic curves
concurrent systems
design requirements
control flow
databases
reverse engineering
programming language
data mining