Sciweavers

1268 search results - page 87 / 254
» High Impact Requirements Engineering
Sort
View
SIGSOFT
1998
ACM
15 years 5 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
APSEC
2001
IEEE
15 years 5 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
Colin J. Fidge
ESEM
2010
ACM
15 years 1 months ago
Evaluating the suitability of a measurement repository for statistical process control
Software organizations have increased their interest on software process improvement (SPI). In high maturity levels, SPI involves implementing statistical process control (SPC), w...
Monalessa Perini Barcellos, Ana Regina Rocha, Rica...
MICRO
2008
IEEE
103views Hardware» more  MICRO 2008»
15 years 7 months ago
Testudo: Heavyweight security analysis via statistical sampling
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
Joseph L. Greathouse, Ilya Wagner, David A. Ramos,...
SIGSOFT
2007
ACM
16 years 2 months ago
Test suite prioritization by interaction coverage
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...
Renée C. Bryce, Atif M. Memon