Sciweavers

1739 search results - page 53 / 348
» Writing Good Software Engineering Research Paper
Sort
View
PROFES
2007
Springer
14 years 1 months ago
Defining Software Processes Through Process Workshops: A Multicase Study
We present the application of the process workshop method to define revised work processes in software development companies. Through two empirical action research studies, we stud...
Finn Olav Bjørnson, Tor Stålhane, Nil...
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
13 years 9 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
AVI
2010
13 years 9 months ago
Deep Diffs: visually exploring the history of a document
Software tools are used to compare multiple versions of a textual document to help a reader understand the evolution of that document over time. These tools generally support the ...
Ross Shannon, Aaron J. Quigley, Paddy Nixon
AMAST
2004
Springer
13 years 11 months ago
Modularity and the Rule of Adaptation
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
Cees Pierik, Frank S. de Boer
WCRE
2007
IEEE
14 years 1 months ago
Reverse Engineering Super-Repositories
Reverse engineering and software evolution research has been focused mostly on analyzing single software systems. However, rarely a project exists in isolation; instead, projects ...
Mircea Lungu, Michele Lanza, Tudor Gîrba, Re...