Sciweavers

3216 search results - page 205 / 644
» The Oregon Software Development Process
Sort
View
ICSE
2010
IEEE-ACM
15 years 10 months ago
Moving into a new software project landscape
When developers join a software development project, they find themselves in a project landscape, and they must become familiar with the various landscape features. To better und...
Barthélémy Dagenais, Harold Ossher, ...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 13 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
195
Voted
PROFES
2004
Springer
15 years 11 months ago
Software Engineering Research Strategy: Combining Experimental and Explorative Research (EER)
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
Markku Oivo, Pasi Kuvaja, Petri Pulli, Jouni Simil...
SEKE
2009
Springer
16 years 29 days ago
An Architecture-based Evolution Management Method for Software Product Line
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
Xin Peng, Liwei Shen, Wenyun Zhao
156
Voted
BIRTHDAY
2007
Springer
16 years 19 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner