852 search results - page 119 / 171 » entcs 2010 |
129
click to vote
ENTCS
2002
15 years 3 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
136
Voted
ENTCS
2002
15 years 3 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
113
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
153
Voted
ENTCS
2002
15 years 3 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
162
Voted
ENTCS
2007
15 years 3 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...