Login / Signup
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Donald Sannella
Stefan Sokolowski
Andrzej Tarlecki
Published in:
Acta Informatica (1992)
Keyphrases
</>
high level
formal descriptions
development process
formal specification
case study
mathematical theory
information systems
software engineering
decision support
information processing
genetic algorithm
e learning
shape model
rapid development
programming environment
programming environments