3801 search results - page 108 / 761 » An Approach to Modeling Software Safety |
141
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...
127
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
IEE
2000
15 years 3 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
122
click to vote
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
122
click to vote
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...