Declarative Specification

N. Fuchs, D. Robertson

Research output: Contribution to journalArticlepeer-review


Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that can be unambiguously mapped to formal specifications in a logic language. We describe a number of realised approaches based on this idea, and evaluate them with respect to their domain specificity vs. generality.
Original languageEnglish
Pages (from-to)317-331
Number of pages15
JournalKnowledge Engineering Review
Issue number4
Publication statusPublished - 1996


Dive into the research topics of 'Declarative Specification'. Together they form a unique fingerprint.

Cite this