Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
Publication year: 2008
ISBN: 978-3-540-70930-5
Internet Resource: Please Login to download book
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
Subject: Computer Science, ad-hoc networking, automotive hardware, automotive software, behavior preservation, bisimulation, error detection, formalized quality assurance, intelligent interfaces, mobile networking, model, model description langu, modeling, quality assurance, structured analysis, structured design, Computer Communication Networks, Software Engineering, Programming and Operating Systems, Programming Techniques, Special Purpose and Application-Based Systems, Computation by Abstract Devices
