617 search results - page 20 / 124 » Using Formal Methods in a Retrospective Safety Case |
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
CAISE
1997
Springer
13 years 11 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...