16 search results - page 1 / 4 » User Context Models - A Framework to Ease Software Formal Ve... |
ICEIS
2010
IEEE
13 years 2 months ago
2010
IEEE
WWW
2006
ACM
14 years 5 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
FMCAD
2006
Springer
13 years 8 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...