488 search results - page 65 / 98 » Derivation of Java Monitors |
131
Voted
RE
2005
Springer
15 years 8 months ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...
131
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
127
Voted
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
111
Voted
UIST
1997
ACM
15 years 7 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
123
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...