Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
Information and Computation
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Logical systems for structured specifications
Theoretical Computer Science
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Algebraic Semantics of Coordination or What Is in a Signature
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Axiomatizability in inclusive equational logics
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Categories for Software Engineering
Categories for Software Engineering
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
Elementary Diagrams in Institutions
Journal of Logic and Computation
Institution-independent Model Theory
Institution-independent Model Theory
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
An axiomatic approach to structuring specifications
Theoretical Computer Science
Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
| Hi-index | 5.23 |
We investigate multiple-parameterised specifications and their instantiation within the institution-independent framework of abstract structured specifications. Our work identifies a set of distinctive features of specifications languages that have a fundamental role in defining and instantiating parameterised specifications. We consider both simultaneous and sequential instantiation of parameters, and allow not only sharing between the body of the parameterised specification and the instances of the parameters, but also between the parameters of a generic specification. The developments conclude with the examination of the relation between the results of simultaneous and sequential instantiation of parameters, which are shown to be isomorphic under a given set of sufficient abstract conditions.