Sciweavers

1689 search results - page 142 / 338
» Empirical Methodologies in Software Engineering
Sort
View
ICST
2008
IEEE
15 years 8 months ago
On the Predictability of Random Tests for Object-Oriented Software
Intuition suggests that random testing of object-oriented programs should exhibit a high difference in the number of defects detected by two different runs over the same amount of...
Ilinca Ciupa, Alexander Pretschner, Andreas Leitne...
SEFM
2007
IEEE
15 years 8 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
TASE
2010
IEEE
14 years 8 months ago
A Semantic Feature Model in Concurrent Engineering
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
Yong-Jin Liu, Kam-Lung Lai, Gang Dai, Matthew Ming...
AVI
2004
15 years 3 months ago
Sim-U-Sketch: a sketch-based interface for SimuLink
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
Levent Burak Kara, Thomas F. Stahovich
AGILEDC
2005
IEEE
15 years 7 months ago
Case Study of Customer Input For a Successful Product
Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...
Lynn Miller