1573 search results - page 110 / 315 » Picture Programming Project |
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
In the context of the Bauhaus project, reengineering environments to support program understanding of legacy code are being developed. Bauhaus defines two formats to represent in...
110
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
163
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
104
Voted
HCW
1998
IEEE
15 years 6 months ago
1998
IEEE
The NetSolve project, underway at the University of Tennessee and at the Oak Ridge National Laboratory, allows users to access computational resources distributed across the netwo...
123
Voted
IFIP3
2003
15 years 3 months ago
2003
One special challenge facing teachers, planners and researchers is the development of pedagogical models, teaching methods and teaching practices that are applicable in network-bas...