4917 search results - page 71 / 984 » Software Engineering is Not Computer Science |
126
click to vote
WICSA
2008
15 years 3 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
94
Voted
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we describe a multi-site evaluation of SimSE, an educational software engineering simulation game. This study was designed to build on our previous experience of ev...
119
click to vote
ACSC
2000
IEEE
15 years 5 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
142
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...