東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Software engineering for robotics

Cavalcanti, Ana.

Linked to FindBook

Google Book

Amazon

博客來

Software engineering for robotics

Record Type:	Electronic resources : Monograph/item
Title/Author:	Software engineering for robotics/ edited by Ana Cavalcanti ... [et al.].
other author:	Cavalcanti, Ana.
Published:	Cham :Springer International Publishing : : 2021.,
Description:	xx, 483 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-66494-7
ISBN:	9783030664947

Software engineering for robotics
Software engineering for robotics[electronic resource] /edited by Ana Cavalcanti ... [et al.]. - Cham :Springer International Publishing :2021. - xx, 483 p. :ill., digital ;24 cm.

The 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.

ISBN: 9783030664947

Standard No.: 10.1007/978-3-030-66494-7doiSubjects--Topical Terms:

559826
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software engineering for robotics
LDR:02521nmm a2200313 a 4500 001 2244343
003 DE-He213
005 20210706194035.0
006 m d
007 cr nn 008maaau
008 211207s2021 sz s 0 eng d
020 $a 9783030664947 $q (electronic bk.)
020 $a 9783030664930 $q (paper)
024 7 $a 10.1007/978-3-030-66494-7 $2 doi
035 $a 978-3-030-66494-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S681 2021
245 0 0 $a Software engineering for robotics $h [electronic resource] / $c edited by Ana Cavalcanti ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xx, 483 p. : $b ill., digital ; $c 24 cm.
520 $a The 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.
650 0 $a Software engineering. $3 559826
650 0 $a Robotics. $3 519753
650 2 4 $a Robotics and Automation. $3 1066695
700 1 $a Cavalcanti, Ana. $3 1244946
700 1 $a Dongol, Brijesh. $3 3414135
700 1 $a Hierons, Rob. $3 3505108
700 1 $a Timmis, Jon. $3 3505109
700 1 $a Woodcock, Jim. $3 907141
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-030-66494-7
950 $a Computer Science (SpringerNature-11645)