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

Foundations and Methodology

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

SOA and Web Services

Boualem Benatallah, Hamid R. Motahari Nezhad:
Service Oriented Architecture: Overview and Directions. 116-130
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

Software Technology

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

Security

Dieter Gollmann:
Security in Distributed Applications. 254-276

Copyright © Mon Nov 9 23:58:07 2009 by Michael Ley (ley@uni-trier.de)