Advances in Software Engineering

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, July 2007. It provides a state-of-the-art compendium of advances in software engineering.

From the reviews:

"This book is a compendium of nine refereed and revised papers, presented at the 'Advances in Software Engineering' Lipari summer school, in July 2007. The bibliographies are extensive and seemingly quite thorough, providing excellent links to relevant papers and Web sites. The papers in this compendium are a worthy contribution to the field's body of research and literature. This is an excellent publication, and will be a fine addition to any library that deals with software engineering topics and recent, relevant research." (R. Waldo Roth, ACM Computing Reviews, April, 2009)

Autorentext
Antonio Cisternino is a professor in the Computer Science Department of the University of Pisa. His primary research is on scientific computing, meta-programming and domain-specific languages on virtual-machine-based execution environments. He has been active in the .NET community since 2001 and developed VSLab, a Microsoft Visual Studio add-in to support MATLAB-like programming in F sharp and Visual Studio. He is also author of annotated C sharp an extension of C sharp, and Robotics4.NET, a framework for programming robots with Microsoft .NET. Cisternino holds a Ph.D. in Computer Science from the University of Pisa.

Inhalt
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.