Sciweavers

859 search results - page 30 / 172
» Explaining Synthesized Software
Sort
View
ESE
2011
233views Database» more  ESE 2011»
12 years 8 months ago
Behavioral economics in software quality engineering
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
Radoslaw Hofman
HASE
2007
IEEE
14 years 15 days ago
Precise Documentation of Critical Software
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
David Lorge Parnas, Sergiy A. Vilkomir
WCE
2007
13 years 9 months ago
Statistical Analysis for Activity-Based Software Estimation using Regression Approach
Application Service Maintenance(ASM) projects mainly use Activity-Based software estimation methodology compared to Function Point or Lines of Code Estimation methodologies[1]. Th...
M. J. Basavaraj, K. C. Shet
AC
2005
Springer
13 years 8 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
CSMR
2008
IEEE
14 years 3 months ago
Do Design Patterns Impact Software Quality Positively?
We study the impact of design patterns on quality attributes in the context of software maintenance and evolution. We show that, contrary to popular beliefs, design patterns in pr...
Foutse Khomh, Yann-Gaël Guéhéne...