Pattinson, Dirk Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)

Das Buch 'Recent Trends in Algebraic Development Techniques' fasst die Beiträge und Ergebnisse des 16. Internationalen Workshops WADT 2002 zusammen, der in Frauenchiemsee, Deutschland, stattfand. Es gehört zur Reihe 'Lecture Notes in Computer Science' und ist Band 2755 dieser Serie. Der Workshop konzentrierte sich auf aktuelle Entwicklungen und Forschungsergebnisse im Bereich der algebraischen Entwicklungstechniken, die für die formale Spezifikation und das Design von Softwaresystemen eingesetzt werden. Die Themen umfassen unter anderem algebraische Spezifikationen, formale Verifikationen, Modellierungstechniken sowie Anwendungen dieser Methoden in verschiedenen Bereichen der Informatik. Die Beiträge wurden nach dem Workshop überarbeitet und bieten einen umfassenden Überblick über den Stand der Forschung und neue Ansätze in diesem Fachgebiet.