652 search results - page 23 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
SEAA
2008
IEEE
15 years 4 months ago
2008
IEEE
Software product line engineering has emerged as one of the dominant paradigms for developing variety of software products based on a shared platform and shared software artifacts...
104
click to vote
OOPSLA
1990
Springer
15 years 2 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
PTS
2004
14 years 11 months ago
2004
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
CLEF
2008
Springer
15 years 6 days ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Deriving nearly 90% of its primary energy resources from oil, the State of Hawaii is more dependent on oil than any other U.S. state. The price of electricity in Hawaii is also mo...