Librarian View
LEADER 02564cam a22003737i 4500
001
991008275467207546
005
20250114195221.0
008
241210s2021 sz a b 000 0 eng d
020
a| 9783030664930
020
z| 9783030664947
q| (eBook)
040
d| NNfCLS
b| eng
e| rda
d| HK-SYU
050
4
a| QA76.76.R63
b| .S648 2021
082
0
a| 005.1
2| 23
092
0
a| 005.1
b| SOF 2021
245
0
0
a| Software engineering for robotics /
c| Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors.
264
1
a| Cham :
b| Springer Nature Switzerland,
c| [2021]
264
4
c| ©2021
300
a| xx, 483 pages :
b| illustrations (some color) ;
c| 25 cm.
336
a| text
b| txt
2| rdacontent
337
a| unmediated
b| n
2| rdamedia
338
a| volume
b| nc
2| rdacarrier
504
a| Includes bibliographical references.
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.
c| WorldCat
650
0
a| Software engineering.
650
0
a| Robotics.
650
0
a| Computer software
x| Development.
700
1
a| Cavalcanti, Ana,
e| editor.
700
1
a| Dongol, Brijesh,
e| editor.
700
1
a| Hierons, Robert M.,
e| editor.
700
1
a| Timmis, Jonathan,
d| 1970-
e| editor.
700
1
a| Woodcock, Jim,
e| editor.
910
b| kkl
c| wsl
998
a| book
b| 14-01-25
945
h| Principal
l| location
i| barcode
y| id
f| bookplate
a| callnoa
b| callnob
n| GDM513