285 search results - page 51 / 57 » Model Checking Contracts - A Case Study |
EMSOFT
2006
Springer
14 years 13 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
DAGSTUHL
2004
13 years 10 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
SCAM
2007
IEEE
14 years 3 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...