6167 search results - page 1033 / 1234 » Can Refinement be Automated |
CSEE
2006
Springer
14 years 10 days ago
2006
Springer
Test-driven development (TDD) is an agile software development strategy that addresses both design and testing. This paper describes a controlled experiment that examines the effe...
DAC
2005
ACM
14 years 10 days ago
2005
ACM
Microfluidic biochips promise to revolutionize biosensing and clinical diagnostics. As more bioassays are executed concurrently on a biochip, system integration and design complex...
ESAW
2007
Springer
14 years 5 days ago
2007
Springer
Joint activity, as we define it, is a mutually interdependent social endeavor that requires sufficient predictability among participating parties to enable coordination. Coordinati...
CSMR
2008
IEEE
14 years 5 days ago
2008
IEEE
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...
DATE
2008
IEEE
14 years 5 days ago
2008
IEEE
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...