1565 search results - page 182 / 313 » Teaching |
158
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
158
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
In this panel we explore: (1) the burgeoning discourse on sustainability concerns within HCI, (2) the material and behavioral challenges of sustainability in relation to interacti...
142
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...
157
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
138
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper reports on experience from teaching basic software engineering concepts by using Extreme Programming in a second year undergraduate course taken by 107 students. We des...