7380 search results - page 868 / 1476 » Engineering Software Intensive Systems |
162
click to vote
QSIC
2005
IEEE
16 years 18 days ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
180
click to vote
ADAEUROPE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
204
Voted
EDBTW
2004
Springer
16 years 13 days ago
2004
Springer
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
169
click to vote
FASE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
212
click to vote
VMCAI
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...