4036 search results - page 466 / 808 » Formal Methods |
174
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
212
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
187
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
180
click to vote
IIWAS
2008
15 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
134
Voted
WOTUG
2008
15 years 8 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...