323 search results - page 18 / 65 » Verifying the Mondex Case Study |
CBSE
2006
Springer
14 years 1 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
LANMR
2007
13 years 11 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
IWPC
2003
IEEE
14 years 3 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
AOSE
2003
Springer
14 years 3 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...