448 search results - page 13 / 90 » A Meta-Method for Formal Method Integration |
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
94
Voted
MOC
2010
14 years 6 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
111
click to vote
ECOOPW
1998
Springer
15 years 3 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
106
Voted
FM
1998
Springer
15 years 3 months ago
1998
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
126
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...