The Role of Analogy in Specification Derivation

DOI 10.1109/kbse.1991.638028 dblp

Abstract

Humans employ analogical reasoning frequently to reuse past experience for solving new problems. In this paper we show how past experience in program specification can be used by analogy to formalize new specifications. We briefly describe our analogy-based approach and then present the library example to illustrate how analogy can handle certain sources of informality.

BibTeX

@inproceedings{Miriyala-Harandi:ASE91,
  author    = {Kanth Miriyala and
               Mehdi T. Harandi},
  title     = {The Role of Analogy in Specification Derivation},
  booktitle = {ASE},
  pages     = {117--126},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
}

The Role of Analogy in Specification Derivation

Abstract

Related papers