668 search results - page 13 / 134 » Empirical Methods in Software Engineering Research |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...
APSEC
1995
IEEE
13 years 11 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirica...