25 search results - page 1 / 5 » Ensuring Consistency between Designs, Documentation, Formal ... |
CBSE
2009
Springer
13 years 11 months ago
2009
Springer
BPM
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...