Sciweavers

2897 search results - page 45 / 580
» Test Case Integration: From Components to Systems
Sort
View
146
Voted
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 8 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
142
Voted
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
15 years 13 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,...
134
Voted
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
119
Voted
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...
141
Voted
TOOLS
1999
IEEE
15 years 8 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