626 search results - page 1 / 126 » When Can Formal Methods Make a Real Difference |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
DSVIS
1998
Springer
13 years 9 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
ISORC
1999
IEEE
13 years 9 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
ENTCS
2010
13 years 5 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...