Egon Börger, Antonio Cisternino (Eds.):
Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures.
Lecture Notes in Computer Science 5316 Springer 2008, ISBN 978-3-540-89761-3
Foundations and Methodology
Don S. Batory:
A Modeling Language for Program Design and Synthesis.
39-58
SOA and Web Services
Software Technology
Security