Cover image for Advances in software engineering
Title:
Advances in software engineering
Publication Information:
Berlin : Springer, 2008
Physical Description:
276 p. : ill. ; 24 cm.
ISBN:
9783540897613
Subject Term:

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010194954 QA76.758 A38 2008 Open Access Book Book
Searching...

On Order

Summary

Summary

WorkonthisvolumestartedwiththeLipariSummerSchoolonAdvancesinSo- ware Engineering, which the ?rst editor organizedtogether with Alfredo Ferro fromtheUniversityofCataniainJuly2007.Itwasthe19thinawell-knownse- 1 riesofannualinternationalschools, addressedatcomputerscienceresearchers. Thethemesofthecourses, offourone-hourlectureseach, rangedfromdomain andrequirementsengineering(DinesBjoerner, TechnicalUniversityofDenmark, and Florin Spanachi, SAP Research, Germany) over high-level modeling (Egon B] orger, University of Pisa, Italy) and software product line techniques (Don Batory, UniversityofTexasatAustin, USA)toevolvablesoftware(PeterSestoft, Royal Veterinary and Agricultural University of Denmark) and the evolution of service-oriented software architectures (Carlo Ghezzi, Politecnico di Milano, Italy) in particular for Web services (Boualem Benatallah, University of New SouthWales, Australia)andthecrucialproblemofhowtoreachsecurity insuch evolvingdistributedsystems(DieterGollmann, TechnicalUniversityHamburg- Harburg, Germany). In two seminars the theme of evolvable software was further developed by the presentationofnew techniques forsoftwaremanipulation with annotations in Java (Vincenzo Gervasi, University of Pisa) and for the code-bricks-based runtime composition of self-evolving programs (Antonio Cisternino, University ofPisa). For unforseeablepersonalcircumstances MichaelJackson(London)was - abletodeliverhislecturesasplanned.However, thisvolumecontainshisre?- tions on which directions software engineering should take to become a truly engineeringdiscipline. This book is not a proceedings volume, but a collection of research papers on themes treated in the school, written with the intent to produce a state-- the art compendium of recent advances in software engineering. However, the contributions re'ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuary2008, havebeen reviewed, revisedandreviewedagainduringtheperiodFebruary-August2008. We thank the 21 reviewers for their considerable and very constructive work, althoughasusualtheyhavetoremainanonymous.Lastbutnotleastwethank theauthorsfortheircommitmenttothisvolume.


Table of Contents

Michael JacksonDon BatoryEgon Borger and Bernhard ThalheimBoualem Benatallah and Hamid R. Motahari NezhadDomenico Bianculli and Carlo Ghezzi and Paola Spoletini and Luciano Baresi and Sam GuineaVincenzo Gervasi and Giacomo A. GalileiRasmus Johansen and Peter Sestoft and Stephan SpangenbergPeter Sestoft and Sebastien VaucouleurDieter Gollmann
Foundations and Methodology
The Name and Nature of Software Engineeringp. 1
A Modeling Language for Program Design and Synthesisp. 39
A Method for Verifiable and Validatable Business Process Modelingp. 59
SOA and Web Services
Service Oriented Architecture: Overview and Directionsp. 116
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositionsp. 131
Software Technology
Software Manipulation with Annotations in Javap. 161
Zero-Overhead Composable Aspects for .NETp. 185
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolutionp. 216
Security
Security in Distributed Applicationsp. 254
Author Indexp. 277