| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465812903316 |
|
|
Titolo |
Formal Aspects of Component Software [[electronic resource] ] : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers / / edited by Olga Kouchnarenko, Ramtin Khosravi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 281 p. 104 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 10231 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems -- From Formal Methods to Software Components: Back to the Future? -- From Devices to Data: Testing the IoT -- Core Model for Choreographic Programming -- Checking Business Process Evolution -- Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing -- Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions -- Constrained Synthesis from Component Libraries -- MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks -- A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property -- Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems -- Reasoning about Connectors in Coq -- (Context-Sensitivity in) Reo, Revisited -- Validated Test Models for Software Product Lines: Featured Finite State Machines -- Tool Support for Fuzz Testing of Component-Based System Adaptation Policies -- Coordinated Actors for Reliable Self-Adaptive Systems -- Architecture-based design: a satellite on-board software case study. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component |
|
|
|
|
|
|
|
|
|
|
|
|
|
Software, FACS 2016, held in Besançon, France, in October 2016. The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910967154003321 |
|
|
Autore |
Ho Cristy |
|
|
Titolo |
The multisensory driver : implications for ergonomic car interface design / / Cristy Ho & Charles Spence |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Aldershot, England ; ; Burlington, VT, : Ashgate, c2008 |
|
|
|
|
|
|
|
ISBN |
|
1-317-02359-5 |
1-315-55542-5 |
1-281-76602-X |
9786611766023 |
0-7546-8889-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (158 p.) |
|
|
|
|
|
|
Collana |
|
Human factors in road and rail transport |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automobile drivers - Psychology |
Senses and sensation |
Intersensory effects |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Contents; List of Figures; List of Tables; Acknowledgements; Chapter 1 Introduction; Chapter 2 Driven to Distraction; Chapter 3 Driven to Listen; Chapter 4 The Auditory Spatial Cuing of Driver Attention; Chapter 5 The Vibrotactile Spatial Cuing of Driver Attention; Chapter 6 The Multisensory Perceptual versus Decisional Facilitation of |
|
|
|
|
|
|
|
|
|
|
|
Driving; Chapter 7 The Multisensory Spatial Cuing of Driver Attention; Chapter 8 Conclusions; References; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is dedicated to furthering the design of ergonomic multisensory interfaces by highlighting recent evidence in this area emerging from the fast-growing field of cognitive neuroscience. It focuses primarily on two aspects of driver information-processing: multisensory interactions and the spatial distribution of attention in driving. |
|
|
|
|
|
|
|
| |