dblp.uni-trier.de www.uni-trier.de

ISoLA 2008: Porto Sani, Greece

Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Communications in Computer and Information Science 17 Springer 2008, ISBN 978-3-540-88478-1 BibTeX

Invited Talks

Keynote

Tools and Applications in Industrial Software Quality Control

Introduction of Multi-core Systems in Automotive Applications

Model-Driven SOA

Applications of Formal Approaches to Service-Oriented Computing

Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia

Non-functional Requirements in Embedded Systems

Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer

Ubiquitous and Context Aware Systems

Formal Methods for Analysing and Verifying Very Large Systems

Tools for Service-Oriented Discovery of Knowledge

Tackling the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source

Regular Papers

Copyright © Sat May 16 23:26:00 2009 by Michael Ley (ley@uni-trier.de)