7202 search results - page 446 / 1441 » Software System Engineering: A Tutorial |
252
click to vote
AMAST
2004
Springer
16 years 1 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
239
click to vote
ESEM
2010
ACM
15 years 6 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
183
click to vote
SSR
1997
15 years 9 months ago
1997
The growing size and complexity of systems has revealed many shortcomings of existing software engineering practices, for example, lack of scalability. This in turn raised interes...
188
click to vote
FSTTCS
2009
Springer
16 years 2 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 ...
187
click to vote
TACS
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...