Methodologies for knowledge-based software engineering

This publication has 14 references indexed in Scilit:

• Seven layers of knowledge representation and reasoning in support of software development
  IEEE Transactions on Software Engineering, 1992
• The Requirements Apprentice: automated assistance for requirements acquisition
  IEEE Transactions on Software Engineering, 1991
• Algorithm theories and design tactics
  Science of Computer Programming, 1990
• Design by derivational analogy:Issues in the automated replay of design plans
  Artificial Intelligence, 1989
• Finite Differencing of Computable Expressions
  ACM Transactions on Programming Languages and Systems, 1982
• An experimental program transformation and synthesis system
  Artificial Intelligence, 1981
• Program Development as a Formal Activity
  IEEE Transactions on Software Engineering, 1981
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965