328 search results - page 39 / 66 » Software engineering for safety: a roadmap |
145
click to vote
RE
2007
Springer
15 years 12 months ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
148
click to vote
ASWEC
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
172
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
151
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
161
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...