1908 search results - page 35 / 382 » How to teach software modeling |
CSEE
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a European Master programme on Global Software Engineering (SE), being put forward by four leading institutions from Sweden, UK, Netherlands and Italy. The Glo...
82
Voted
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
ENTCS
2006
14 years 9 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
82
Voted
ARCS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
CSCW
2008
ACM
14 years 9 months ago
2008
ACM
This paper discusses how a new technology (designed to help pupils with learning about Shakespeare's Macbeth) is introduced and integrated into existing classroom practices. I...