Software Engineering for Automotive Systems: Principles and Applications discusses developments in the field of software engineering for automotive systems.This reference text presents detailed discussion of key conc...Loe edasi...
This reference text discusses developments in the field of software engineering for automotive systems. The text presents detailed discussion of key important concepts including timing analysis and reliability, validation and verification of automot...Loe edasi...
Unity in Embedded System Design and Robotics is the first of its kind and provides a step-by-step guide to Unity for embedded system design and robotics. It is an open gateway for anyone who wants to learn Unity through real projects and examples an...Loe edasi...
Unity in Embedded System Design and Robotics is the first of its kind and provides a step-by-step guide to Unity for embedded system design and robotics. It is an open gateway for anyone who wants to learn Unity through real projects...Loe edasi...
This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book feature...Loe edasi...
This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book feature...Loe edasi...
(Ilmumisaeg: 17-Oct-2017, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319666181)
Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation pr...Loe edasi...
Learn how to design digital circuits with FPGAs, the devices that reconfigure themselves to become the very hardware circuits you program. In this concise ebook, author Justin Rajewski teaches you hands-on how to create your first FPGA projec...Loe edasi...
(Ilmumisaeg: 22-Jan-2016, Hardback, Kirjastus: MIT Press, ISBN-13: 9780262034210)
Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designi...Loe edasi...
(Ilmumisaeg: 27-Oct-2014, Hardback, Kirjastus: Taylor & Francis Inc, ISBN-13: 9781439849163)
Sangwan finds synergies between the disciplines of software engineering and systems engineering and explores practices that can help engineers in them work together more effectively as a unified team. He introduces an approach to architecture design...Loe edasi...
Many current unmanned systems (UxSs) employ different communication systems and have limited autonomy, which limit information sharing with warfighters and other UxSs. This report identifies ways to address these limitations. ...Loe edasi...
This book covers the most essential techniques for designing and building dependable distributed systems. Instead of covering a broad range of research works for each dependability strategy, the book focuses only a selected few (usually the most sem...Loe edasi...
This book provides relevant theoretical frameworks and the latest empirical research findings in the area, clarifying the present chaotic and confusing literature of the current state of the art and knowledge in the areas of the design and engineeri...Loe edasi...
(Ilmumisaeg: 06-Nov-2009, Hardback, Kirjastus: ISTE Ltd and John Wiley & Sons Inc, ISBN-13: 9781848211438)
This work examines the use of mathematically based formal methods in embedded systems that are linked with other embedded systems, and embedded systems that are connected to other local or remote communication circuit components. It describes element...Loe edasi...
(Ilmumisaeg: 08-Jul-2009, Hardback, Kirjastus: Morgan Kaufmann Publishers In, ISBN-13: 9780123742308)
Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function component...Loe edasi...
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Sari: Programming and Software Engineering
(Ilmumisaeg: 12-May-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642019173)
This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinor...Loe edasi...
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 20-May-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540688921)
This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro,...Loe edasi...
(Ilmumisaeg: 18-May-2007, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540724827)
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertino...Loe edasi...
