90 search results - page 14 / 18 » A Basis for Formal Robustness Checking |
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
ICWS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
DKE
2007
13 years 7 months ago
2007
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools t...
BIRTHDAY
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
NGITS
1999
Springer
13 years 11 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...