Journal of the ACM (JACM)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
On the correctness of modular systems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science - Special issue: algebraic development techniques
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Correctness of a logical system for structured specifications
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Algebraic Specification Languages: An Overview
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Towards Heterogeneous Formal Specification
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
| Hi-index | 0.00 |
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.