226
click to vote
ICSE
16 years 4 months ago
2004 IEEE-ACM 
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
165
click to vote
ICSE
16 years 4 months ago
2004 IEEE-ACM 
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
160
click to vote
ICSE
16 years 4 months ago
2004 IEEE-ACM 
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
153
click to vote
ICSE
16 years 4 months ago
2004 IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
150
click to vote
ICSE
16 years 4 months ago
2004 IEEE-ACM
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...
|
Software Engineering