The Role Of Analogy In Specification Derivation
Kanth Miriyala · 1991
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.