Assuring the correctness of configured software descriptions

This publication has 6 references indexed in Scilit:

• A hypertext system to manage software life-cycle documents
  IEEE Software, 1990
• Hypertext: An Introduction and Survey
  Computer, 1987
• Maintaining Configurations of Evolving Software Systems
  IEEE Transactions on Software Engineering, 1987
• Rcs — a system for version control
  Software: Practice and Experience, 1985
• Operational specification as the basis for rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• The design and implementation of INGRES
  ACM Transactions on Database Systems, 1976