3799 search results - page 616 / 760 » An Engineering Approach to Formal Methods |
131
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
The paper presents a novel approach to the peripheral display of information by applying audio effects to an arbitrary selection of music. We examine a specific instance: the comm...
158
click to vote
MSR
2006
ACM
15 years 11 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
179
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
129
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
132
Voted
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...