José Luiz Fiadeiro, Tom Maibaum  Home/Search
Context Related
| fiadeiro.org/jose/papers/tfm.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fiadeiro.org/jose/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose an extended temporal logic framework, supporting modular verification over object-oriented specifications of reactive systems, with the aim of providing the possibility of reusing properties of components when the specifications of the components are themselves reused when building larger systems. For this purpose, we provide the means for component specifications to be inherited together with their properties (theorem reuse) and inference mechanisms (logic reuse). Our approach... (Update)
Cited by: More
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Composing Invariants - Charpentier (Correct)
Active bibliography (related documents): More All
0.5: Interconnecting Formalisms: Supporting Modularity, Reuse and.. - Fiareido, al. (1995) (Correct)
0.5: Behavioral Subtyping Using Invariants and Constraints - Liskov, Wing (1999) (Correct)
0.4: Temporal Theories as Modularisation Units for Concurrent.. - Fiadeiro, Maibaum (1992) (Correct)
Similar documents based on text: More All
0.7: Mirror Mirror In My Hand: a duality between specifications.. - Fiadeiro, Costa (1996) (Correct)
0.5: Institutions for Behaviour Specification - Fiadeiro And Costa (1995) (Correct)
0.4: Revisiting the Categorical Approach to Systems - Lopes, Fiadeiro (2002) (Correct)
Related documents from co-citation: More All
10: ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1993
9: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
7: Design of Compositional Proof Systems Based on AssumptionCommitment Specificatio.. (context) - Collette - 1994
BibTeX entry: (Update)
J. Fiadeiro and T. Maibaum. Verifying for Reuse: Foundations of Object-oriented System Verification. Technical report, Imperial College of Science and Technology, University of London, London, 1993. http://citeseer.ist.psu.edu/fiadeiro93verifying.html More
@misc{ fiadeiro93verifying,
author = "J. Fiadeiro and T. Maibaum",
title = "Verifying for Reuse: Foundations of Object-oriented System Verification",
text = "J. Fiadeiro and T. Maibaum. Verifying for Reuse: Foundations of Object-oriented
System Verification. Technical report, Imperial College of Science and Technology,
University of London, London, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/fiadeiro93verifying.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
539 The Temporal Logic of Programs (context) - Pnueli - 1977
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
234 Institutions: Abstract Model Theory for Specification and Pr.. (context) - Goguen, Burstall - 1992
121 A Simple Approach to Specifying Concurrent Systems - Lamport - 1989
114 Logics of Time and Computation (context) - Goldblatt - 1987
111 Composing Specifications - Abadi, Lamport - 1993
73 Temporal Theories as Modularisation Units for Concurrent Sys.. - Fiadeiro, Maibaum - 1992
68 Specifying Concurrent Program Modules (context) - Lamport - 1983
62 Reusing and Interconnecting Software Components (context) - Goguen - 1986
62 Issues in the Design of a Parallel Object-Oriented Language (context) - America - 1989
56 Reusability: The Case for Object-Oriented Design (context) - Meyer - 1987
40 Towards an Object Calculus - Nierstrasz
38 Temporal Reasoning over Deontic Specifications (context) - Fiadeiro, Maibaum - 1991
31 Proof-theoretic Semantics of Object-Oriented Specification C.. - Fiadeiro, Sernadas et al. - 1991
29 A Categorial Theory of Objects as Observed Processes (context) - Ehrich, Goguen et al.
24 Modeling of Dynamic Object Systems A Logic-Based Approach (context) - Jungclaus - 1993
24 Interconnecting Formalisms: Supporting Modularity, Reuse and.. (context) - Fiadeiro, Maibaum
23 The Use of Temporal Logic in the Compositional Specification.. (context) - Barringer - 1987
21 Structured Theories in LCF (context) - Sannella, Burstall - 1983
14 Hierarchical Development of Concurrent Systems in a Temporal.. (context) - Barringer, Kuiper - 1984
11 A Sheaf Semantics for FOOPS Expressions (context) - Wolfram, Goguen
10 Extensions and Foundations of Object-oriented Programming (context) - Goguen, Meseguer - 1986
10 Describing, Structuring, and Implementing Objects - Fiadeiro, Maibaum
7 The Quest for Compositionality - a survey of assertion-based.. (context) - deRoever - 1985
6 Object-Based Concurrent Computing (context) - Tokoro, Nierstrasz et al. - 1991
6 Reactive System Specification and Refinement (context) - Lano
4 Sometimes 'Tomorrow' is 'Sometime': Action Refinement in a T.. - Fiadeiro, Maibaum - 1994
4 Trace Semantics for Actor Systems - Vasconcelos, Tokoro
3 Data Encapsulation and Modularity: Three Views of Inheritanc.. - Costa, Sernadas et al. - 1993
2 A Categorical Theory of Superposition (context) - Fiadeiro, Reichwein
2 Foundations of Object-Oriented Languages (context) - deBakker, deRoever et al. - 1991
1 Selected papers appeared in Informatik-Bericht (context) - Systems, Reusability et al. - 1993
1 A Proof-System for the Language POOL (context) - Boer - 1990
1 Process Semantics of Verifying for reuse 19 Temporal Logic S.. (context) - Fiadeiro, Costa et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.fiadeiro.org/jose/papers/): More
On the Emergence of Properties in Component-Based Systems - Fiadeiro (1996) (Correct)
Superposing Connectors - Wermelinger, Lopes, Fiadeiro (2000) (Correct)
Algebraic Software Architecture Reconfiguration - Wermelinger, Fiadeiro (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC