Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers / edited by Fabrice Kordon, Oleg Sokolsky.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 4888Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Descripción: XII, 221 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540774198Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Software engineering | Information theory | Logic design | Computer Science | Software Engineering/Programming and Operating Systems | Theory of Computation | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of ProgramsFormatos físicos adicionales: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: de clik aquí para ver el libro electrónico Model Driven Development and Embedded Systems -- On the Correctness of Model Transformations in the Development of Embedded Systems -- Supporting System Level Design of Distributed Real Time Systems for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain -- Model-Based Failure Management for Distributed Reactive Systems -- Software Engineering for Embedded Systems -- A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems -- Industrial Challenges in the Composition of Embedded Systems -- Deep Random Search for Efficient Model Checking of Timed Automata -- OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks -- Composition Technologies -- Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward -- Recent Additions on the Application Programming Interface of the TMO Support Middleware -- Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol -- Reliability Properties of Models for Flexible Design and Run-Time Analysis.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.