3514 search results - page 217 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
147
Voted
ISSRE
2008
IEEE
15 years 9 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
131
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we introduce a new task model that is specifically targeted towards representing stream processing applications. Examples of such applications are those involved in...
145
Voted
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
117
Voted
SNPD
2008
15 years 4 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
104
Voted
TOPNOC
2008
15 years 2 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...