A Formal Framework for On-line Software Version Change.

Deepak Gupta Pankaj Jalote Gautam Barua

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

software architecture
analysis tool
database
real time
data sets
databases
case study
high level
expert systems
software development
main contribution
design patterns
software projects
formal methods
development methodologies