2873 search results - page 265 / 575 » Model Checking and the Mu-calculus |
155
click to vote
JUCS
2010
14 years 11 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
249
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
142
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
131
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
144
click to vote
ICRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...