611 search results - page 32 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
156
Voted
JACM
2002
15 years 3 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: ...
139
Voted
SEW
2007
IEEE
15 years 10 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...
129
Voted
ICSEA
2007
IEEE
15 years 10 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...
134
Voted
CODES
2002
IEEE
15 years 8 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...
106
Voted
APSEC
2000
IEEE
15 years 8 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...