Edinburgh Research Explorer

Expressing Program Requirements using Refinement Lattices

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationMethodologies for Intelligent Systems
Subtitle of host publication7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
EditorsJan Komorowski, Zbigniew W. Ras
PublisherSpringer-Verlag GmbH
Number of pages10
ISBN (Print)978-3-540-56804-2
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Requirements capture is a term used in software engineering, referring to the process of obtaining a problem description—a high level account of the problem which a user wants to solve. This description is then used to control the generation of a program appropriate to the solution of this problem. Reliable requirements capture is seen as a key component of future automated program construction systems, since even small amounts of information about the type of problem being tackled can often vastly reduce the space of appropriate application programs. Many special purpose requirements capture systems exist but few of these are logic based and all of them operate in tightly constrained domains. This paper introduces a formal language for requirements capture which bridges the gap between an order sorted logic of problem description and the Prolog programming language. An extended version of this paper appears in [4].

ID: 3507248