3801 search results - page 87 / 761 » An Approach to Modeling Software Safety |
157
Voted
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
109
Voted
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
112
click to vote
APN
1999
Springer
15 years 8 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
132
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
186
Voted
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...