Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
Open Source Software (OSS) projects provide a unique opportunity to gather and analyze publicly available historical data. The Postgres SQL server, for example, has over seven yea...
Christian Bird, Alex Gourley, Premkumar T. Devanbu...
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...