612 search results - page 32 / 123 » Division for Foundation of Software |
120
click to vote
CACM
2010
14 years 11 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
111
click to vote
IJSEKE
2011
14 years 5 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
203
Voted
SEKE
2010
Springer
15 years 8 days ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
128
click to vote
ISPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
93
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...