3256 search results - page 145 / 652 » Applications of Formal Methods to System Design and Verifica... |
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
134
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
139
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
149
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
145
click to vote
JSW
2007
15 years 4 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...