Lipari Summer School 2007

Egon Börger, Antonio Cisternino (Eds.): Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Lecture Notes in Computer Science 5316 Springer 2008, ISBN 978-3-540-89761-3 BibTeX

Foundations and Methodology

Michael Jackson:
The Name and Nature of Software Engineering. 1-38
Electronic Edition (link) BibTeX
Don S. Batory:
A Modeling Language for Program Design and Synthesis. 39-58
Electronic Edition (link) BibTeX
Egon Börger, Bernhard Thalheim:
A Method for Verifiable and Validatable Business Process Modeling. 59-115
Electronic Edition (link) BibTeX

Boualem Benatallah, Hamid R. Motahari Nezhad:
Service Oriented Architecture: Overview and Directions. 116-130
Electronic Edition (link) BibTeX
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea:
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. 131-160
Electronic Edition (link) BibTeX

Vincenzo Gervasi, Giacomo A. Galilei:
Software Manipulation with Annotations in Java. 161-184
Electronic Edition (link) BibTeX
Rasmus Johansen, Peter Sestoft, Stephan Spangenberg:
Zero-Overhead Composable Aspects for .NET. 185-215
Electronic Edition (link) BibTeX
Peter Sestoft, Sebastien Vaucouleur:
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. 216-253
Electronic Edition (link) BibTeX

Dieter Gollmann:
Security in Distributed Applications. 254-276
Electronic Edition (link) BibTeX