Sciweavers

976 search results - page 65 / 196
» Approach to a Theory of Software Evolution
Sort
View
ICSE
2004
IEEE-ACM
15 years 9 months ago
SNIAFL: Towards a Static Non-Interactive Approach to Feature Location
To facilitate software maintenance and evolution, a helpful step is to locate features concerned in a particular maintenance task. In the literature, both dynamic and interactive ...
Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yan...
FSTTCS
2004
Springer
15 years 3 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
CHI
2007
ACM
15 years 10 months ago
Software design and engineering as a social process
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
William A. Stubblefield, Tania L. Carson
ACTA
2007
106views more  ACTA 2007»
14 years 10 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ESE
2011
233views Database» more  ESE 2011»
13 years 9 months ago
Behavioral economics in software quality engineering
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
Radoslaw Hofman