|
11
|
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
|
|
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
|
|
26
|
Logics for Specifying Concurrent Information Systems
– Hans-Dieter Ehrich, et al.
- 1998
|
|
2
|
Deriving Liveness Goals from Temporal Logic Specifications
– C. Caleiro, G. Saake, A. Sernadas
- 1996
|
|
1
|
Goal-Driven Operational Semantics of Temporal Specification of Reactive Systems Behaviour
– Carlos Caleiro, Gunter Saake, Amílcar Sernadas
- 1994
|
|
60
|
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
|
|
|
Specifying Dynamic Object Systems
– Luís Caires, Luís Monteiro
- 1998
|
|
8
|
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs
– Abdelillah Mokkedem, Dominique Méry
- 1994
|
|
45
|
Fibring of logics as a categorial construction
– Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
- 1999
|
|
18
|
Object Specification
– Hans-dieter Ehrich
- 1997
|
|
11
|
Temporal Specification of Information Systems
– Hans-dieter Ehrich, Peter Hartel
- 1996
|
|
2
|
The Situation and State Calculus
– Jaime Ramos
- 1997
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
12
|
Lazy Compositional Verification
– Natarajan Shankar
- 1998
|
|
6
|
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems
– Abdelillah Mokkedem, Dominique Méry
- 1993
|
