1199 search results - page 39 / 240 » Software Verification and Software Engineering a Practitione... |
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
142
click to vote
LSO
2004
Springer
15 years 9 months ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
127
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
135
Voted
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
114
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oc´e, one of the world’s leading copier manufacturer...