ISoLA 2008: Porto Sani, Greece

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

a service of Schloss Dagstuhl - Leibniz Center for Informatics