Login / Signup
Application of automatic decomposition schemes in proof maintenance for evolving programs.
Rajeev Gopal
Stephen R. Schach
Published in:
J. Softw. Maintenance Res. Pract. (1992)
Keyphrases
</>
real time
data driven
artificial intelligence
social networks
information technology
evolutionary algorithm
multiresolution
software engineering
logic programs
decision support
fully automatic
application programs