15824 search results - page 1 / 3165 » Specialising in Software Engineering |
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
ICSE
2000
IEEE-ACM
13 years 9 months ago
2000
IEEE-ACM
This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from ...
PEPM
1993
ACM
13 years 9 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...