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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Börger, Egon (Επιμελητής έκδοσης), Cisternino, Antonio (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Σειρά:Lecture Notes in Computer Science, 5316
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.