@inproceedings{56ea3397969a4096913ccb8afeb4e22f,
title = "A reuse-oriented framework for hierarchical specifications",
abstract = "In order to facilitate the reuse of possibly complex hierarchical specification components, we propose a unified view of them as (generalised) open terms generated by constructors: the atomic modules (for example enrichments or presentations). Thus, all kinds of pieces of specifications are handled in a uniform way. Moreover, they are autonomous in the sense that they are well defined independently from the context of their design. We present an equational axiomatisation of the structure, providing the class of hierarchical specifications with two combination operators. We show on the example of proofs how thanks to this approach, an attribute for a specification may be systematically inherited from the ones of its modules. The so obtained attributes are naturally structured following the specifications.",
keywords = "Formal structured specification, Language theory, Monoid, Proof system, Reuse, Structured inference, Typed equational logic",
author = "Sophie Coudert and \{Le Gall\}, Pascale",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 ; Conference date: 20-05-2000 Through 27-05-2000",
year = "2000",
month = jan,
day = "1",
doi = "10.1007/3-540-45499-3\_31",
language = "English",
isbn = "9783540454991",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "438--453",
editor = "Teodor Rus",
booktitle = "Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings",
}