Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
اقرأ المزيد
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
اقرأ المزيد
Embedded Software and Systems (vol. # 3605)
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...
اقرأ المزيد
Embedded Systems Design
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
اقرأ المزيد
Empirical Software Engineering Issues Critical Assessment and Future Directions
Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
اقرأ المزيد
Empirical Software Engineering Issues Critical Assessment and Future Directions
Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
اقرأ المزيد
European Guide to Power System Testing The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
اقرأ المزيد
Exceptional Lifespans
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human ...
اقرأ المزيد
Expert Spring MVC and Web Flow
Expert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and ...
اقرأ المزيد
Fatigue Science for Human Health
Fatigue is quite a familiar sensation, one that everyone is likely to have experienced. Its molecular and neural mechanisms ...
اقرأ المزيد
Formal Methods for Components and Objects (vol. # 4111)
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
اقرأ المزيد
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
اقرأ المزيد
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
Functional Verification of Programmable Embedded Architectures
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدFundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
The papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد
Fundamentals of Pattern Recognition and Machine Learning
Fundamentals of Pattern Recognition and Machine Learning is designed for a one or two-semester introductory course in Pattern ...
اقرأ المزيد
Genetic Programming (vol. # 3905)
This book constitutes the refereed proceedings of the 9th European Conference on Genetic Programming, EuroGP 2006, held in ...
اقرأ المزيدGlobal Perspectives on Recognising Non-formal and Informal Learning : Why Recognition Matters
This book deals with the relevance of recognition and validation of non-formal and informal learning in education and training, ...
اقرأ المزيدGlobal Specification and Validation of Embedded Systems
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
اقرأ المزيد
