Sciweavers

Share
FAC
2007
121views more  FAC 2007»
9 years 3 months ago
On assertion-based encapsulation for object invariants and simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
David A. Naumann
FLAIRS
2000
9 years 5 months ago
A Case Study in the Mechanical Verification of Fault Tolerance
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
Heiko Mantel, Felix C. Gärtner
AOSD
2008
ACM
9 years 5 months ago
Reasoning about aspects with common sense
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
Klaus Ostermann
POPL
2000
ACM
9 years 7 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
FMCO
2004
Springer
9 years 9 months ago
Assertion-Based Encapsulation, Object Invariants and Simulations
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
David A. Naumann
FROCOS
2007
Springer
9 years 9 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
ICSE
2005
IEEE-ACM
10 years 3 months ago
Aspect-oriented programming and modular reasoning
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
Gregor Kiczales, Mira Mezini
books