2702 search results - page 17 / 541 » Practically Applicable Formal Methods |
DFG
2004
Springer
15 years 3 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
68
Voted
DSVIS
2005
Springer
15 years 3 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...
82
Voted
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
HOTOS
2007
IEEE
15 years 1 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
100
click to vote
AFP
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...