Software Engineering for Robotics / (Record no. 5816)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04019cam a22004451a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 022616862 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | UkOxU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230830104241.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr |n||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210712s2021 sz o 000 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783030664961 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-030-66494-7 |
| Source of number or code | doi |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1259677346 |
| Canceled/invalid control number | (OCoLC)1260344008 |
| -- | (OCoLC)1266812211 |
| 037 ## - SOURCE OF ACQUISITION | |
| Source of stock number/acquisition | Springer |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | YDX |
| Language of cataloging | eng |
| Transcribing agency | YDX |
| Modifying agency | GW5XE |
| -- | EBLCP |
| -- | OCLCO |
| -- | OCLCF |
| -- | DCT |
| -- | N$T |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | EQOA |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| Item number | .C376 2021 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) | |
| Classification number | WMS1259677346 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Cavalcanti, Ana |
| 245 00 - TITLE STATEMENT | |
| Title | Software Engineering for Robotics / |
| Statement of responsibility, etc | Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Cham, Switzerland : |
| Name of publisher, distributor, etc | Springer, |
| Date of publication, distribution, etc | 2021. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 483 Pages; |
| Dimensions | 23 cm. |
| 521 ## - TARGET AUDIENCE NOTE | |
| Target audience note | 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. |
| Source | 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Robotics. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| Source of heading or term | fast |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Cavalcanti, Ana, |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dongol, Brijesh, |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hierons, Robert M., |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Timmis, Jonathan, |
| Dates associated with a name | 1970- |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Woodcock, Jim, |
| Relator term | editor. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version: |
| International Standard Book Number | 3030664937 |
| -- | 9783030664930 |
| Record control number | (OCoLC)1224516668 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Springer Complete eBooks |
| Uniform Resource Identifier | <a href="https://link.springer.com/10.1007/978-3-030-66494-7">https://link.springer.com/10.1007/978-3-030-66494-7</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | General Collection | Rabdan Academy | Rabdan Academy | General Stacks | 08/30/2023 | STM Middle East | 316.05 | QA76.758 .C376 2021 | 22060 | 08/30/2023 | C. 1 | 08/30/2023 | Books | AED 316.05 |