Sciweavers

24 search results - page 2 / 5
» Monitoring Requirements Coverage using Reconstructed Views: ...
Sort
View
SIES
2010
IEEE
13 years 3 months ago
Verification of a CAN bus model in SystemC with functional coverage
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
Christoph Kuznik, Gilles B. Defo, Wolfgang Mü...
ETFA
2008
IEEE
13 years 12 months ago
Exploiting publish/subscribe communication in wireless mesh networks for industrial scenarios
This paper addresses questions of using wireless mesh networks (WMNs) in heterogeneous industrial infrastructures. This implies several problems like global addressing, handling o...
André Herms, Michael Schulze, Jörg Kai...
NLDB
2007
Springer
13 years 11 months ago
Treatment of Passive Voice and Conjunctions in Use Case Documents
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
Leonid Kof
EDO
2005
Springer
13 years 11 months ago
Experiences in coverage testing of a Java middleware
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
Mehdi Kessis, Yves Ledru, Gérard Vandome
AADEBUG
2005
Springer
13 years 11 months ago
Debugging object-oriented programs with behavior views
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
Donglin Liang, Kai Xu 0002