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

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino.

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

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Börger, Egon (Editor), Cisternino, Antonio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 5316
Springer eBook Collection.
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items