264 search results - page 25 / 53 » Transaction level modeling: an overview |
ASE
2008
13 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
ENTCS
2008
13 years 7 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...
KCAP
2005
ACM
14 years 29 days ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...