Sciweavers

207 search results - page 11 / 42
» Aspect-oriented programming and modular reasoning
Sort
View
ICSE
2005
IEEE-ACM
15 years 11 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
FAC
2007
121views more  FAC 2007»
14 years 11 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
63
Voted
VSTTE
2005
Springer
15 years 5 months ago
Modular Reasoning in Object-Oriented Programming
David A. Naumann
43
Voted
ENTCS
2007
85views more  ENTCS 2007»
14 years 11 months ago
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...
98
Voted
ECOOP
2006
Springer
15 years 3 months ago
Design-Based Pointcuts Robustness Against Software Evolution
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
Walter Cazzola, Sonia Pini, Massimo Ancona