611 search results - page 32 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
114
click to vote
JACM
2002
14 years 11 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
102
click to vote
SEW
2007
IEEE
15 years 6 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
100
click to vote
CODES
2002
IEEE
15 years 4 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...
APSEC
2000
IEEE
15 years 4 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...