Sciweavers

2878 search results - page 180 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ISQED
2002
IEEE
105views Hardware» more  ISQED 2002»
15 years 10 months ago
Measurement of Inherent Noise in EDA Tools
With advancing semiconductor technology and exponentially growing design complexities, predictability of design tools becomes an important part of a stable top-down design process...
Andrew B. Kahng, Stefanus Mantik
CMG
2006
15 years 7 months ago
Evaluation and comparison of search engines using the LSP method
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
Jozo J. Dujmovic, Haishi Bai
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
15 years 4 months ago
Bad Pairs in Software Testing
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
207
Voted
JCSS
2011
154views more  JCSS 2011»
15 years 23 days ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
176
Voted
COOTS
1997
15 years 7 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small