1856 search results - page 94 / 372 » Formal Dialectic Specification |
127
click to vote
FORTE
1998
15 years 5 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
150
click to vote
FLAIRS
2000
15 years 5 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
153
Voted
CAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
129
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
169
click to vote
WER
2010
Springer
15 years 1 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...