2836 search results - page 97 / 568 » Model Checking for Software Architectures |
146
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
117
Voted
ISMAR
2007
IEEE
15 years 10 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
128
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
110
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
127
Voted
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design a...