Algebraic Specifications as Solutions of Implementation Equations.

Published in: IEEE Trans. Software Eng. (1987)

Keyphrases

efficient implementation
specification language
polynomial equations
closed form solutions
implementation issues
neural network
search algorithm
numerical solution
real time
multi objective
linear programming
benchmark problems
implementation details
algebraic structure
stochastic differential equations