15783 search results - page 541 / 3157 » Evidence-Based Software Engineering |
188
click to vote
CISSE
2009
Springer
15 years 5 months ago
2009
Springer
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...
161
click to vote
ISPW
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
207
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
256
click to vote
AOSD
2011
ACM
15 years 2 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
289
click to vote
ICSE
2012
IEEE-ACM
13 years 9 months ago
2012
IEEE-ACM
—The wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulfilled when deve...