Derivation of Invariant Assertions During Program Development by Transformation.

Manfred Broy Bernd Krieg-Brückner

Published in: ACM Trans. Program. Lang. Syst. (1980)

Keyphrases

programming environments
machine learning
data sets
databases
knowledge base
case study
development environment
information retrieval
e learning
high level
object oriented
programming language
source code
knowledge based systems
information processing
test cases