101 search results - page 7 / 21 » Co-evolution of source code and the build system |
CSMR
2007
IEEE
15 years 3 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
104
Voted
FIDJI
2003
Springer
15 years 2 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
151
click to vote
ICDE
1997
IEEE
15 years 10 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...