51 search results - page 4 / 11 » Early Curricula in Computer Science at the University of Ice... |
FECS
2006
13 years 7 months ago
2006
- One of the major areas of software engineering, as specified in the SWEBOK (SoftWare Engineering Body Of Knowledge) [1], is software quality. This paper presents an argument on w...
BIRTHDAY
2008
Springer
13 years 8 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
SIGITE
2005
ACM
13 years 12 months ago
2005
ACM
Early in its history as an academic discipline, depth in computer programming was a primary distinguishing factor between IT and older computing disciplines, such as computer scie...
FM
2008
Springer
13 years 8 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 ...
SIGCSE
2010
ACM
13 years 6 months ago
2010
ACM
Applying information and communication technologies to development (ICTD) is emerging as an interesting and motivating research area in computer science and engineering. It spans ...