1606 search results - page 64 / 322 » XML-based programming language modeling: An approach to soft... |
174
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
195
click to vote
AOSD
2006
ACM
15 years 12 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
164
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
160
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
171
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...