549 search results - page 1 / 110 » Lightweight Analysis of Object Interactions |
TACS
2001
Springer
13 years 9 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
DSVIS
1997
Springer
13 years 8 months ago
1997
Springer
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
APSEC
2001
IEEE
13 years 8 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
TOSEM
2002
13 years 4 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...