3400 search results - page 400 / 680 » tools 2008 |
152
click to vote
RTS
2008
15 years 6 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
109
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Goal models are effective in capturing stakeholder needs at the time when features of the system-to-be have not yet been conceptualized. Relating goals to solution-oriented featur...
159
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
152
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
184
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...