15824 search results - page 1 / 3165 » Specialising in Software Engineering |
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
PEPM
1998
ACM
14 years 22 days ago
1998
ACM
PEPM
1998
ACM
14 years 22 days ago
1998
ACM
ICSE
2000
IEEE-ACM
14 years 3 days 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
14 years 18 days 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...