2520 search results - page 249 / 504 » Model-checking behavioral programs |
189
click to vote
AOSD
2005
ACM
16 years 5 days ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
165
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...
222
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
194
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
227
click to vote
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...