Algebraic Specification: A Step Towards Future Software Engineering.

Helmuth Partsch

Published in: Algebraic Methods (1987)

Keyphrases

software engineering
formal methods
long term
object oriented
software systems
artificial intelligence
programming language
design patterns
website
software reuse
real time
development process
learning objects
reactive systems
multi step
higher order
neural network