Building an evolution transformation library

This publication has 12 references indexed in Scilit:

• Deriving specification from requirements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Static analysis-based program evolution support in the common Lisp framework
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An overview of RADC's knowledge based software assistant program
  Published by American Institute of Aeronautics and Astronautics (AIAA) ,1989
• A knowledge-base environment for the development of software parts composition systems
  Published by Association for Computing Machinery (ACM) ,1989
• Integrating multiple specifications using domain goals
  Published by Association for Computing Machinery (ACM) ,1989
• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• The Programmer's Apprentice: a research overview
  Computer, 1988
• Classifying Software for Reusability
  IEEE Software, 1987
• The Programmer's Apprentice: A Session with KBEmacs
  IEEE Transactions on Software Engineering, 1985
• Program developments
  Communications of the ACM, 1983