Sciweavers

483 search results - page 17 / 97
» Experimental Software Engineering: A Report on the State of ...
Sort
View
ESEM
2008
ACM
13 years 10 months ago
Strength of evidence in systematic reviews in software engineering
Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the ...
Tore Dybå, Torgeir Dingsøyr
CISIS
2010
IEEE
14 years 3 months ago
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
Oliver Ray, Ken E. Whelan, Ross D. King
ICSE
2000
IEEE-ACM
14 years 5 days ago
Quickly detecting relevant program invariants
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
BIRTHDAY
2008
Springer
13 years 10 months ago
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
Carlo Ghezzi, Paola Inverardi, Carlo Montangero
ACMACE
2005
ACM
14 years 2 months ago
The CaveUT system: immersive entertainment based on a game engine
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...
Jeffrey Jacobson, Marc Le Renard, Jean-Luc Lugrin,...