@inproceedings{d9e7054191004bcf8473b35fbd3541e5,
title = "A modular framework for specification and implementation",
abstract = "A modular framework for the formal specification and implementation of large families of sorts and functions is introduced. It is intended to express generation principles, to rename, combine and construct implementations of specifications in flexible styles. Parameterization is also included. The main characteristics of this approach are the inclusion of predicates in the signature of specifications and the use of an ultra-loose semantics. Signatures are triples of sets of sorts, sets of function symbols and sets of predicate symbols; the latter contain among others also standard predicate symbols, in particular the equality symbols as well as predicate symbols expressing generation principles which hold for an object if and only if it can be denoted by a term of a specific signature. These standard predicate symbols lead to an ultra-loose semantics for specifications: models are not required to be term-generated; instead, the term-generated subalgebra of a model is required to satisfy the axioms. Main advantages of this approach are the simplicity of the notion of implementation and the simplicity of the corresponding language for writing structured specifications.",
author = "Martin Wirsing and Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1989.; 3rd International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1989 ; Conference date: 13-03-1989 Through 17-03-1989",
year = "1989",
doi = "10.1007/3-540-50939-9_124",
language = "English",
isbn = "9783540509394",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "42--73",
editor = "Josep Diaz and Fernando Orejas",
booktitle = "TAPSOFT 1989",
}