1856 search results - page 181 / 372 » Formal Dialectic Specification |
135
Voted
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
136
Voted
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
153
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
144
Voted
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
168
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...