語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Software Engineering for Robotics
~
Timmis, Jon.
Software Engineering for Robotics
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Software Engineering for Robotics/ edited by Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock.
其他作者:
Woodcock, Jim.
面頁冊數:
XX, 483 p. 184 illus., 154 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Robotics and Automation. -
電子資源:
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, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock. - 1st ed. 2021. - XX, 483 p. 184 illus., 154 illus. in color.online resource.
Software 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.
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:
782979
Robotics and Automation.
LC Class. No.: QA76.758
Dewey Class. No.: 005.1
Software Engineering for Robotics
LDR
:03930nam a22003975i 4500
001
1046817
003
DE-He213
005
20210818144343.0
007
cr nn 008mamaa
008
220103s2021 sz | s |||| 0|eng d
020
$a
9783030664947
$9
978-3-030-66494-7
024
7
$a
10.1007/978-3-030-66494-7
$2
doi
035
$a
978-3-030-66494-7
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
245
1 0
$a
Software Engineering for Robotics
$h
[electronic resource] /
$c
edited by Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock.
250
$a
1st ed. 2021.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
XX, 483 p. 184 illus., 154 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
505
0
$a
Software 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
$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
2 4
$a
Robotics and Automation.
$3
782979
650
1 4
$a
Software Engineering.
$3
669632
650
0
$a
Automation.
$3
596698
650
0
$a
Robotics.
$3
561941
650
0
$a
Software engineering.
$3
562952
700
1
$a
Woodcock, Jim.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
680969
700
1
$a
Timmis, Jon.
$e
editor.
$1
https://orcid.org/0000-0003-1055-0471
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1350411
700
1
$a
Hierons, Rob.
$e
editor.
$1
https://orcid.org/0000-0002-4771-1446
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1350410
700
1
$a
Dongol, Brijesh.
$e
editor.
$1
https://orcid.org/0000-0003-0446-3507
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1306645
700
1
$a
Cavalcanti, Ana.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
792475
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030664930
776
0 8
$i
Printed edition:
$z
9783030664954
776
0 8
$i
Printed edition:
$z
9783030664961
856
4 0
$u
https://doi.org/10.1007/978-3-030-66494-7
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入