Sciweavers

3837 search results - page 37 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
ICSE
2004
IEEE-ACM
15 years 9 months ago
Evidence-Based Software Engineering
Objective: Our objective is to describe how software engineering might benefit from an evidence-based approach and to identify the potential difficulties associated with the appro...
Barbara A. Kitchenham, Magne Jørgensen, Tor...
ENTCS
2007
86views more  ENTCS 2007»
14 years 9 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
ISPW
1994
IEEE
15 years 1 months ago
Data collection in a process-sensitive software engineering environment
All software projects are experiments in the sense of the scientific method because the outcomes are not known in advance, theories and hypotheses may be tested in the project emp...
P. Giese, Barbara Hoisl, Christopher M. Lott, H. D...
ICSE
2009
IEEE-ACM
15 years 4 months ago
Static ownership inference for reasoning against concurrency errors
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
Ana Milanova, Yin Liu
METRICS
2005
IEEE
15 years 3 months ago
Can We Teach Empirical Software Engineering?
We report about an empirical software engineering course for PhD students. We introduce its syllabus and two different pedagogical strategies. The first strategy is based on indiv...
Maria Letizia Jaccheri, Thomas Østerlie