976 search results - page 96 / 196 » Approach to a Theory of Software Evolution |
139
Voted
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
Software peer review has proven to be a successful technique in open source software (OSS) development. In contrast to industry, where reviews are typically assigned to specific ...
105
click to vote
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
The fundamental goal of all good design and engineering is to create maximal value added for any given investment. There are many dimensions in which value can be assessed, from m...
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
112
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
122
click to vote
INFSOF
2007
15 years 1 months ago
2007
This paper presents a framework that draws on Structuration theory and dialectical hermeneutics to explicate the dynamics of software process improvement (SPI) in a packaged softw...