18 search results - page 1 / 4 » A formal verification framework and associated tools for Ent... |
CII
2006
13 years 5 months ago
2006
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
ATVA
2009
Springer
13 years 9 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 ...
ICWE
2005
Springer
13 years 10 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...