1199 search results - page 22 / 240 » Software Verification and Software Engineering a Practitione... |
115
click to vote
AC
2005
Springer
15 years 1 months ago
2005
Springer
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...
103
Voted
INTERACT
2003
15 years 3 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
94
Voted
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
This paper explores the cognitive limits of estimation in the context of software cost estimation. Two heuristics, representativeness and anchoring, motivate two experiments invol...
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
