1759 search results - page 250 / 352 » Overview of Generative Software Development |
155
click to vote
ASWEC
2010
IEEE
15 years 27 days ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
ENTCS
2007
15 years 19 days ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
BMCBI
2008
15 years 24 days ago
2008
Background: In real-time quantitative PCR studies using absolute plasmid DNA standards, a calibration curve is developed to estimate an unknown DNA concentration. However, potenti...
152
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
CHI
2005
ACM
16 years 1 months ago
2005
ACM
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...