726 search results - page 49 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
BIRTHDAY
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
217
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
101
click to vote
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
ENTCS
2008
14 years 12 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
102
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...