A formal approach to domain-oriented software design environments

This publication has 8 references indexed in Scilit:

• Domain-oriented design environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Methodologies for knowledge-based software engineering
  Published by Springer Nature ,1993
• Fundamentals of deductive program synthesis
  IEEE Transactions on Software Engineering, 1992
• KIDS: a semiautomatic program development system
  IEEE Transactions on Software Engineering, 1990
• Termination of rewriting
  Journal of Symbolic Computation, 1987
• An experimental program transformation and synthesis system
  Artificial Intelligence, 1981
• Proof of correctness of data representations
  Acta Informatica, 1972
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970