3801 search results - page 36 / 761 » An Approach to Modeling Software Safety |
54
Voted
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
SCS
2003
14 years 11 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
ECSA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
ECBS
2008
IEEE
14 years 9 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
KBSE
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...