Refactoring in maintenance and development of Z specifications.

Susan Stepney Fiona Polack Ian Toyn

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

software engineering
software evolution
databases
knowledge based systems
development process
data sets
decision making
e learning
website
case study
database systems
source code
decision support
information processing