3564 search results - page 292 / 713 » Evaluating a Formal Modelling Language |
132
Voted
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
146
Voted
FMOODS
2000
15 years 6 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
123
Voted
COMCOM
2000
15 years 4 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
135
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
133
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...