|
7
|
Maude's Module Algebra
– Francisco Durán, José Meseguer
- 2000
|
|
7
|
An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs
– Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira
- 1994
|
|
85
|
Towards an Algebraic Semantics for the Object Paradigm
– Joseph A. Goguen, Razvan Diaconescu
- 1994
|
|
|
A Meta-theory for Structured Presentations in the COC
– Sherri Shulman
- 1997
|
|
2
|
Colimit Library for Graph Transformations and Algebraic Development Techniques
– Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla
- 1998
|
|
7
|
Denotational Semantics of Object Specification
– Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Key Words
- 1998
|
|
42
|
Little Theories
– William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- 1992
|
|
8
|
Semantics of architectural specifications in Casl
– Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
- 2001
|
|
3
|
On Simplifying Modular Specification and Verification of Distributed Protocols
– Purnendu Sinha, Neeraj Suri
- 2001
|
|
1
|
Putting Synchronous and Asynchronous Object Modules together: an Event-Based Model for Concurrent Composition
– Juliana Küster Filipe
- 1997
|
|
2
|
A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems
– William M. Farmer
- 1994
|
|
6
|
The Maude Specification of Full Maude
– Francisco Durán, José Meseguer
- 1999
|
|
6
|
A Generic Component Concept for Integrated Data Type and Process Modeling Techniques
– Hartmut Ehrig, Fernando Orejas
- 2001
|
|
5
|
CafeOBJ: Logical Foundations and Methodologies
– Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
- 2003
|
|
1
|
Ontology-based component composition
– Kenneth Baclawski, Artan Simeqi
- 2001
|
|
14
|
Structured Theories and Institutions
– Francisco Durán, José Meseguer
- 1999
|
|
7
|
A Study on Components and Assembly Primitives in B
– Didier Bert, Marie-Laure Potet, Yann Rouzaud
|
|
|
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition -
– Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner
- 1997
|
|
6
|
A Kernel Specification Formalism with Higher-Order Parameterisation
– Donald Sannella, Andrzej Tarlecki
- 1991
|
