Sciweavers

1776 search results - page 158 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
ICSE
2010
IEEE-ACM
15 years 8 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
IJACTAICIT
2010
151views more  IJACTAICIT 2010»
14 years 10 months ago
The Comparative Study of Software Optimal Release Time Based on Burr Distribution
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...
Hee-Cheul Kim, Hyoung-Keun Park
ICSE
2007
IEEE-ACM
16 years 3 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl
EMSOFT
2008
Springer
15 years 4 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
CAISE
2006
Springer
15 years 6 months ago
Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Compone
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Birgit Korherr, Beate List