Advances in Software Engineering

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.