Sciweavers

2897 search results - page 45 / 580
» Test Case Integration: From Components to Systems
Sort
View
145
Voted
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 7 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
141
Voted
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
15 years 9 days 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»
15 years 9 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
15 years 10 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...
140
Voted
TOOLS
1999
IEEE
15 years 7 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