613 search results - page 44 / 123 » Reflections on Software Engineering Education |
ICSE
2003
IEEE-ACM
15 years 10 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...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
SIGCSE
2009
ACM
15 years 10 months ago
2009
ACM
Working remotely is becoming the norm for both professionals and students alike. Software development has become a global industry due to outsourcing, teleworking, flex time, and ...
INTERACT
2003
14 years 11 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
101
click to vote
ACMSE
2008
ACM
14 years 11 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...