Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /
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...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Programming and Software Engineering,
5316 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.