7202 search results - page 8 / 1441 » Software System Engineering: A Tutorial |
245
Voted
CSEE
2011
Springer
14 years 6 months ago
2011
Springer
Pex4Fun (http://www.pexforfun.com/)from Microsoft Research is a web-based serious gaming environment for teaching computer science. Pex4Fun can be used to teach and learn computer...
123
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
118
Voted
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
109
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
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...
118
click to vote
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...