Sciweavers

2897 search results - page 45 / 580
» Test Case Integration: From Components to Systems
Sort
View
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
13 years 12 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
13 years 4 months ago
Efficient Embedding of Deterministic Test Data
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
Mudassar Majeed, Daniel Ahlstrom, Urban Ingelsson,...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
14 years 1 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
QSIC
2009
IEEE
14 years 2 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
TOOLS
1999
IEEE
13 years 12 months ago
Component-Based Software Engineering Processes
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
Robert C. Seacord, Kingsley C. Nwosu