Leveraging Applications of Formal Methods, Verification and Validation

Refactoring.- A Component-Based Access Control Monitor.- Non-functional Requirements in Embedded Systems.- Navigating the Requirements Jungle.- Non-functional Avionics Requirements.- A Simulation Approach for Performance Validation during Embedded Systems Design.- Optimizing Automatic Deployment Using Non-functional Requirement Annotations.- Experiences with Evolutionary Timing Test of Automotive Software Components.- Measurement-Based Timing Analysis.- ALL-TIMES - A European Project on Integrating Timing Technology.- Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer.- Weaving a Formal Methods Education with Problem-Based Learning.- Encouraging the Uptake of Formal Methods Training in an Industrial Context.- Computer-Supported Collaborative Learning with Mind-Maps.- Agile IT: Thinking in User-Centric Models.- Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.- Ubiquitous and Context Aware Systems.- A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.- Contexts and Context Awareness in View of the Diagram Predicate Framework.- The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems.- The Use of Formal Ontology to Specify Context in Ubiquitous Computing.- High Service Availability in MaTRICS for the OCS.- Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project.- Formal Methods for Analysing and Verifying Very Large Systems.- Squeeze All the Power Out of Your Hardware to Verify Your Software!.- Static Partial-Order Reduction of Concurrent Systems in Polynomial Time.- An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,.- Tools for Service-Oriented Discovery of Knowledge.- On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation.- The ASK System and the Challenge of Distributed Knowledge Discovery.- A Scenario Implementation in R for SubtypeDiscovery Examplified on Chemoinformatics Data.- Requirements for Ontology Based Design Project Assessment.- Organizing the World's Machine Learning Information.- Tackling the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source.- Workflow Testing.- The jABC Approach to Rigorous Collaborative Development of SCM Applications.- Gesper: Support to Capitalize on Experience in a Network of SMEs.- Regular Papers.- Directed Generation of Test Data for Static Semantics Checker.- Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.- Trusted Theorem Proving: A Case Study in SLD-Resolution.- High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.- Optimizing the System Observability Level for Diagnosability.- Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.- Simple Gedanken Experiments in Leveraging Applications of Formal Methods.- Composition of Web Services Using Wrappers.