000			04169nam a22004215i 4500
999			_c361392 _d361392 _x1
001			361392
003			ES-MaUEC
005			20230102121352.0
006			a||||fo|||| 00| 0
007			cr nn nnnaamaa
008			210705s2021 sz | o |||| 0|eng d
020			_a9783030664947
024	7		_a10.1007/978-3-030-66494-7 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2021 EB
245	0	0	_aSoftware Engineering for Robotics _cedited by Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
250			_aFirst edition 2021
264		1	_aCham _bSpringer International Publising _c2021
300			_a1 recurso en línea (XX, 483 páginas) _b184 ilustraciones, 154 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_aarchivo de texto _bPDF
490	0		_aComputer Science (SpringerNature-11645)
490	0		_aComputer Science (R0) (SpringerNature-43710)
505	0		_aSoftware Product Line Engineering for Robotics -- Towards Autonomous Robot Evolution -- Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem -- Testing Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems -- Robot Accident Investigation: A Case Study in Responsible Robotics -- Verifiable Autonomy and Responsible Robotics -- Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach? -- RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing -- CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems -- Mutation Testing for RoboChart -- Languages for Specifying Missions of Robotic Applications -- RoboStar Technology: Modelling Uncertainty in RoboChart using Probability -- Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems.
520	3		_aThe topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
988			_aSpringer_Computer_2021
650		7	_2embne _9160676 _aRobótica
700	1		_aCavalcanti, Ana _eeditor literario
700	1		_aDongol, Brijesh _eeditor literario
700	1		_aHierons, Rob _eeditor literario
700	1		_aTimmis, Jon _eeditor literario
700	1		_aWoodcock, Jim _eeditor literario
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-66494-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b01/2022 _dz _eu _zSI