312 search results - page 33 / 63 » The eureka tool for software model checking |
132
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
112
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
113
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
107
click to vote
IJDST
2011
14 years 5 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
132
click to vote
COOTS
1997
15 years 3 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...