1738 search results - page 91 / 348 » Leveraging open-source software in the design and developmen... |
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
QNS
1996
13 years 10 months ago
1996
This paper suggests a systematic, orderly, process-based approach to stating software quality objectives and knowing if and when they have been achieved. We suggest that quality i...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...