13137 search results - page 363 / 2628 » A Science of Software Design |
167
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We report on our experiences in redesigning Scala’s collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type ...
153
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
164
click to vote
ICSEA
2006
IEEE
16 years 23 days ago
2006
IEEE
— It is through our mental models of the world that we understand it. Advances in science are nothing more than improvements to the model. This paper presents the development and...
161
click to vote
JCDL
2006
ACM
16 years 20 days ago
2006
ACM
The implications of using digital library software in educational contexts, for both the students and the software developers, are discussed in the light of two case studies of co...
162
click to vote
SIGCSE
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes how the Institute for Computing Education (ICE) at Georgia Tech is trying to improve the state of computer science education in secondary schools in Georgia. ...