Header

UZH-Logo

Maintenance Infos

Declarative specifications


Fuchs, Norbert E; Robertson, David (1996). Declarative specifications. Knowledge Engineering Review, 11(4):317-331.

Abstract

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

Abstract

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

Statistics

Citations

Dimensions.ai Metrics
1 citation in Web of Science®
1 citation in Scopus®
Google Scholar™

Altmetrics

Downloads

10 downloads since deposited on 10 Oct 2018
10 downloads since 12 months
Detailed statistics

Additional indexing

Item Type:Journal Article, refereed, original work
Communities & Collections:National licences > 142-005
Dewey Decimal Classification:Unspecified
Language:English
Date:1 December 1996
Deposited On:10 Oct 2018 14:44
Last Modified:26 Apr 2019 00:57
Publisher:Cambridge University Press
ISSN:0269-8889
OA Status:Green
Publisher DOI:https://doi.org/10.1017/s0269888900008018
Related URLs:https://www.swissbib.ch/Search/Results?lookfor=nationallicencecambridge101017S0269888900008018 (Library Catalogue)

Download

Download PDF  'Declarative specifications'.
Preview
Content: Published Version
Language: English
Filetype: PDF (Nationallizenz 142-005)
Size: 1MB
View at publisher