Sciweavers

553 search results - page 35 / 111
» An examination of software engineering work practices
Sort
View
EWSPT
2000
Springer
15 years 5 months ago
Software Process Technologies and the Competitiveness Challenge
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...
Giovanni A. Cignoni
AC
2005
Springer
15 years 1 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
ICRE
2000
IEEE
15 years 6 months ago
Requirements Documentation: Why a Formal Basis is Essential
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
David Lorge Parnas
ISPW
1996
IEEE
15 years 5 months ago
Feedback, evolution and software technology
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
M. M. Lehman
ESEM
2008
ACM
15 years 3 months ago
Using students as subjects - an empirical evaluation
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...
Mikael Svahnberg, Aybüke Aurum, Claes Wohlin