|
May 2004
A paper by Johannes Henkel and
Amer Diwan,
A Tool for Writing and Debugging Algebraic Specifications,
won the distinguished paper award at
ICSE 2004
held recently in Edinburgh, Scotland. To win this award, the paper
had to be in the top 10% of the papers accepted at the conference.
The International Conference on Software Engineering is the premier software
engineering conference, providing a forum for researchers, practitioners and
educators to present and discuss the most recent innovations, trends,
experiences and concerns in the field of software engineering.
|
