Sciweavers

1199 search results - page 36 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
AMAST
2006
Springer
15 years 7 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
ICSE
2005
IEEE-ACM
16 years 4 months ago
Informatics: A Novel, Contextualized Approach to Software Engineering Education
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
André van der Hoek, David G. Kay, Debra J. ...
SIGCSE
2006
ACM
135views Education» more  SIGCSE 2006»
15 years 10 months ago
Personality types, learning styles, and an agile approach to software engineering education
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
Lucas Layman, Travis Cornwell, Laurie A. Williams
CSEE
2009
Springer
15 years 10 months ago
A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
Olly Gotel, Vidya Kulkarni, Moniphal Say, Christel...
ICSE
2009
IEEE-ACM
15 years 11 months ago
Software Engineering for the Next Internet
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...
Pamela Zave