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
Foundations and Methodology | |
The Name and Nature of Software Engineering | p. 1 |
A Modeling Language for Program Design and Synthesis | p. 39 |
A Method for Verifiable and Validatable Business Process Modeling | p. 59 |
SOA and Web Services | |
Service Oriented Architecture: Overview and Directions | p. 116 |
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions | p. 131 |
Software Technology | |
Software Manipulation with Annotations in Java | p. 161 |
Zero-Overhead Composable Aspects for .NET | p. 185 |
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution | p. 216 |
Security | |
Security in Distributed Applications | p. 254 |
Author Index | p. 277 |