Sciweavers

128 search results - page 7 / 26
» The Push to Make Software Engineering Respectable
Sort
View
ICSE
2007
IEEE-ACM
15 years 3 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
MSR
2005
ACM
15 years 3 months ago
When do changes induce fixes?
As a software system evolves, programmers make changes that sometimes cause problems. We analyze CVS archives for fix-inducing changes—changes that lead to problems, indicated ...
Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller
SOCO
2007
Springer
15 years 3 months ago
Patterns of Component Evolution
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider
ICSM
1994
IEEE
15 years 1 months ago
An Experiment on the Effect of Design Recording on Impact Analysis
An experimental study is presented in which participants perform impact analysis on alternate forms of design record information. The primary objective of the research is to asses...
Fabio Abbattista, Filippo Lanubile, Gemma Mastello...
CACM
2010
97views more  CACM 2010»
14 years 7 months ago
Certified software
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...
Zhong Shao