@inproceedings{785420af0d284521b63b5b7577592b2f,
title = "Towards heterogeneous formal specifications",
abstract = "We believe that big software systems could be more easily formally specified if several specification approaches were allowed within a single system specification. We propose a notion of heterogeneous framework where the specifier can choose a dedicated specification framework for each specification module. We show how the resulting heterogeneous modular specifications can get semantics, and how modular proofs can still be performed on these specifications. Our contribution is mainly focussed on a sort of interoperability between heterogeneous specification modules and we retrieve, as much as possible, classical notions of “meta-formalisms,” modularity for structured specifications, or inference systems, as they are well known in the algebraic specification community. With this respect, our work can be regarded as an attempt to unify frameworks, by accepting and formalizing heterogeneity.",
keywords = "Algebraic specifications, Formal specifications, Heterogeneous specifications, Inference systems, Logical frameworks, Modularity, Theorem proving",
author = "Gilles Bernot and Sophie Coudert and \{Le Gall\}, Pascale",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 ; Conference date: 01-07-1996 Through 05-07-1996",
year = "1996",
month = jan,
day = "1",
doi = "10.1007/bfb0014333",
language = "English",
isbn = "9783540614630",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "458--472",
editor = "Martin Wirsing and Maurice Nivat",
booktitle = "Algebraic Methodology and Software Technology - 5th International Conference, AMAST 1996, Proceedings",
}