A specification-based approach to maintenance.

Kevin Lano Howard P. Haughton

Published in: J. Softw. Maintenance Res. Pract. (1991)

Keyphrases

high level
incremental maintenance
software maintenance
formal specification
provably correct
neural network
computer vision
e learning
similarity measure
multi agent
expert systems
mobile robot