Denotational Semantics of Object Specification (1998)

Cached

Download Links

by Amílcar Sernadas , Cristina Sernadas , Carlos Caleiro
Venue:ACTA INFORMATICA
Citations:8 - 3 self

Active Bibliography

13 Specifying Communication in Distributed Information Systems – Hans-dieter Ehrich, Carlos Caleiro - 1998
15 A Temporal Logic Approach to Object Certification – Amílcar Sernadas, Cristina Sernadas, Jaime Ramos - 1996
26 Logics for Specifying Concurrent Information Systems – Hans-Dieter Ehrich, et al. - 1998
5 On The Relationship Between Operational And Denotational Semantics Of Temporal Logic Specification Of Object Behaviour – Carlos Caleiro - 1995
3 Object Certification – Amílcar Sernadas, Cristina Sernadas - 1994
19 Object Specification – Hans-dieter Ehrich - 1997
11 Temporal Specification of Information Systems – Hans-dieter Ehrich, Peter Hartel - 1996
1 Goal-Driven Operational Semantics of Temporal Specification of Reactive Systems Behaviour – Carlos Caleiro, Gunter Saake, Amílcar Sernadas - 1994
2 Deriving Liveness Goals from Temporal Logic Specifications – C. Caleiro, G. Saake, A. Sernadas - 1996
63 Object Specification Logic – Amílcar Sernadas, Cristina Sernadas - 1995
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
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
FACS 2006 Diagram Models for Interacting Components – Uniwersytet Warszawski Instytut Informatyki Warszawa
An Institution for Interacting Components – unknown authors
51 Fibring of logics as a categorial construction – Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro - 1999
2 The Situation and State Calculus – Jaime Ramos - 1997
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
4 Action Refinement -- An Application of Process Theory on Object-Oriented Specification – Michaela Huhn, Heike Wehrheim, Grit Denker - 1995
A Categorical Hiding Mechanism for Concurrent Object Systems – Juliana Küster Filipe - 1997