7380 search results - page 588 / 1476 » Engineering Software Intensive Systems |
179
click to vote
ASWEC
2008
IEEE
16 years 29 days ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
222
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
146
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
163
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
203
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...