327 search results - page 47 / 66 » Early Safety Analysis: from Use Cases to Component-based Sof... |
111
click to vote
CORR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
ECIS
2004
14 years 11 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
EWSPT
1995
Springer
15 years 1 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...