355 search results - page 26 / 71 » Implementation of a software engineering course for computer... |
ITICSE
2004
ACM
14 years 2 months ago
2004
ACM
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
FM
2008
Springer
13 years 10 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
SC
2000
ACM
14 years 1 months ago
2000
ACM
We use the term “Grid” to refer to a software system that provides uniform and location independent access to geographically and organizationally dispersed, heterogeneous reso...
ECLIPSE
2006
ACM
14 years 2 months ago
2006
ACM
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...