3801 search results - page 55 / 761 » An Approach to Modeling Software Safety |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
ECSA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
STTT
2010
14 years 4 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
134
click to vote
ICSE
1995
IEEE-ACM
15 years 1 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...