128 search results - page 23 / 26 » icse 2007 |
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
Abstract. In this chapter we discuss the susceptibility of critical information infrastructures to computer-borne attacks and faults, mainly due to their largely computerized natur...
ICSE
2007
IEEE-ACM
14 years 13 days ago
2007
IEEE-ACM
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
ICSE
2007
IEEE-ACM
14 years 13 days ago
2007
IEEE-ACM
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...