Abstraction refinement: A model of software evolution.

Benjamin J. Keller Richard E. Nance

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

Keyphrases

high level
mathematical model
databases
management system
statistical model
artificial intelligence
probabilistic model
probability distribution
open source
computational model
multiagent systems
software evolution