1759 search results - page 250 / 352 » Overview of Generative Software Development |
174
click to vote
ASWEC
2010
IEEE
15 years 2 months 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...
109
Voted
ENTCS
2007
15 years 2 months 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 2 months 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...
169
click to vote
PLDI
2011
ACM
14 years 5 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...
108
click to vote
CHI
2005
ACM
16 years 2 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...