Sciweavers

763 search results - page 93 / 153
» Data collection in a process-sensitive software engineering ...
Sort
View
OOPSLA
2007
Springer
15 years 11 months ago
No ifs, ands, or buts: uncovering the simplicity of conditionals
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
Jonathan Edwards
141
Voted
QSIC
2006
IEEE
15 years 11 months ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
121
Voted
APSEC
2005
IEEE
15 years 10 months ago
A Temporal Logic for Input Output Symbolic Transition Systems
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
Marc Aiguier, Pascale Le Gall, Delphine Longuet, A...
IWPC
2002
IEEE
15 years 9 months ago
Source Code Files as Structured Documents
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
Jonathan I. Maletic, Michael L. Collard, Andrian M...
CSMR
2000
IEEE
15 years 9 months ago
Towards a Quantitative Assessment of Method Replacement
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
Rudolf K. Keller, Reinhard Schauer