1796 search results - page 119 / 360 » An Approach to Compositional Model Checking |
IFM
2000
Springer
14 years 2 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
SOCO
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
MONTEREY
2007
Springer
14 years 4 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
AOSE
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...