71 search results - page 6 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
ISESE
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
The Student Contest on Software Engineering (SCORE), organized for the first time in conjunction with the International Conference on Software Engineering (ICSE) 2009, attracted 5...
UIST
1997
ACM
13 years 11 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...