Building specifications in an arbitrary institution
Proc. of the international symposium on Semantics of data types
Specification of modular systems
IEEE Transactions on Software Engineering
Initiality, induction, and computability
Algebraic methods in semantics
Toward formal development of programs from algebraic specifications: implementations revisited
The International Joint Conference on theory and practice of software development on TAPSOFT '87
On observational equivalence and algebraic specification
Journal of Computer and System Sciences
Algebraic specification of modules and their basic interconnections
Journal of Computer and System Sciences
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Combining data type and recursive process specifications using projection algebras
Theoretical Computer Science
Empty carriers: the categorical burden on logic
Categorical methods in computer science with aspects from topology
Parameterized data type and process specifications using projection algebras
Categorical methods in computer science with aspects from topology
Semantical constructions for categories of behavioural specifications
Categorical methods in computer science with aspects from topology
Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories
Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Functorial theory of parameterized specifications in a general specification framework
Theoretical Computer Science
Data Type Specification: Parameterization and the Power of Specification Techniques
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Characterizing Behavioural Semantics and Abstractor Semantics
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
On Recent Trends in Algebraic Specification
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Parameter Passing in Algebraic Specification Languages
Program Specification, Proceedings of a Workshop
Some Thoughts on Algebraic Specification
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Observational Specification: A Birkhoff Theorem
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Towards Component Verification in the Generic Component Framework
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The theory of algebraic module specifications and modular systems was developed initially mainly on the basis of equational algebraic specifications. We show that it is in fact almost independent of what kind of underlying specification framework is chosen. More specifically, we present a formulation where this framework appears as an indexed category or, equivalently, specification frame. The ensuing theory is called the theory of abstract module specifications. We are able to prove main results concerning the correctness and compositionality of abstract module specifications in a purely categorical way, assuming the existence of pushouts of morphisms between abstract specifications that allow model amalgamation, functor extension and/or suitable free constructions. Then, by instantiating the theory of abstract module specifications to the behaviour specification frame in the sense of Nivela and Orejas, we obtain a theory of behaviour module specifications.