448 search results - page 16 / 90 » A Meta-Method for Formal Method Integration |
SEFM
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
ZUM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
102
click to vote
JAR
1998
14 years 11 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
APSEC
1997
IEEE
15 years 3 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...