Sciweavers

3091 search results - page 246 / 619
» The Microsoft Relational Engine
Sort
View
MSR
2006
ACM
16 years 17 days ago
Mining version archives for co-changed lines
Files, classes, or methods have frequently been investigated in recent research on co-change. In this paper, we present a first study at the level of lines. To identify line chan...
Thomas Zimmermann, Sunghun Kim, Andreas Zeller, E....
PPPJ
2006
ACM
16 years 17 days ago
Dynamic analysis of program concepts in Java
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
Jeremy Singer, Chris C. Kirkham
APSEC
2005
IEEE
16 years 7 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
APSEC
2005
IEEE
16 years 7 days ago
Please STeP_IN: A Socio-Technical Platform for in situ Networking
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
Yoshiyuki Nishinaka, Mitsuhiro Asada, Yasuhiro Yam...
ASWEC
2005
IEEE
16 years 7 days ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...