597 search results - page 1 / 120 » E-Process Design and Assurance Using Model Checking |
COMPUTER
2000
13 years 4 months ago
2000
ER
2007
Springer
13 years 11 months ago
2007
Springer
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
FDL
2003
IEEE
13 years 10 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
ATVA
2009
Springer
13 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...