Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Börger, Egon (Editor), Cisternino, Antonio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5316
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software Engineering, held on Lipari Island, Italy, in July 2007. It was the 19th in a well-known series of annual international schools, addressed at computer science researchers. T...

Table of Contents:

• Foundations and Methodology
• The Name and Nature of Software Engineering
• A Modeling Language for Program Design and Synthesis
• A Method for Verifiable and Validatable Business Process Modeling
• SOA and Web Services
• Service Oriented Architecture: Overview and Directions
• A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
• Software Technology
• Software Manipulation with Annotations in Java
• Zero-Overhead Composable Aspects for .NET
• Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution
• Security
• Security in Distributed Applications.