330 search results - page 36 / 66 » Reflections on a programming Olympiad |
FECS
2006
14 years 10 days ago
2006
In this paper, we discuss the advantages and disadvantages of using network simulators to teach networking concepts versus having students write programs. The authors have experie...
NJC
2006
13 years 11 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
IJAC
2011
13 years 6 months ago
2011
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...