355 search results - page 26 / 71 » Implementation of a software engineering course for computer... |
177
Voted
ITICSE
2004
ACM
15 years 9 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...
116
click to vote
FM
2008
Springer
15 years 5 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 ...
124
Voted
SIGADA
2005
Springer
15 years 9 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...
135
Voted
SC
2000
ACM
15 years 8 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...
131
click to vote
ECLIPSE
2006
ACM
15 years 9 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...