15824 search results - page 1 / 3165 » Specialising in Software Engineering |
69
Voted
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
84
Voted
PEPM
1998
ACM
15 years 1 months ago
1998
ACM
92
Voted
PEPM
1998
ACM
15 years 1 months ago
1998
ACM
83
Voted
ICSE
2000
IEEE-ACM
15 years 1 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
15 years 1 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...