Verwandte Artikel zu Software Engineering for Robotics

Software Engineering for Robotics ISBN 13: 9783030664961

Software Engineering for Robotics - Softcover

 
9783030664961: Software Engineering for Robotics

Inhaltsangabe

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.


Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Ana Cavalcanti is Professor of Software Verification at the University of York and Royal Academy of Engineering Chair in Emerging Technologies, and is working on software engineering issues for robotics like modelling, validation, simulation, and testing. She currently leads the RoboStar research group at the University of York. Her research is on theory and practice of verification and testing for robotics.
Brijesh Dongol is a Senior Lecturer at the University of Surrey. His research is on formal techniques and verification methods for concurrent and real-time systems. This includes concurrent objects, transactional memory and associated correctness conditions; weak memory models; algebraic techniques; and hybrid systems. He leads several projects funded by the EPSRC, research institutions and industrial partners and is a member of the Formal Methods Teaching Committee.
Rob Hierons joined The University of Sheffield in 2018 as a full Professor. His research concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability (STVR) and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing.

Jon Timmis is Professor of Intelligent and Adaptive Systems at the University of Sunderland, where he is Deputy Vice-Chancellor, and is Visiting Professor at the University of York.  His research focuses on biologically-inspired systems and modelling, with applications in robotic and swarm robotic systems as well as computational biology.  He has commercialized his research into modelling and simulation in the biosciences. He is a former Royal Society-Wolfs on Research Merit Award holder and a Royal Academy of Engineering Enterprise Fellow.

Jim Woodcock is Professor of Software Engineering at the University of York, known for his research, teaching, and consultancy in the application of industrial-scale software engineering and formal methods. He is a Chartered Engineer, a fellow of the UK Royal Academy of Engineering, and a member of the London Mathematical Society. His current research is in modelling and reasoning about uncertainty in robotic applications.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2022
  • ISBN 10 3030664961
  • ISBN 13 9783030664961
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten504
  • HerausgeberCavalcanti Ana, Dongol Brijesh, Hierons Rob
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 17,52 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783030664930: Software Engineering for Robotics

Vorgestellte Ausgabe

ISBN 10:  3030664937 ISBN 13:  9783030664930
Verlag: Springer, 2021
Hardcover

Suchergebnisse für Software Engineering for Robotics

Foto des Verkäufers

ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Bestandsnummer des Verkäufers 611590575

Verkäufer kontaktieren

Neu kaufen

EUR 109,83
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Ana Cavalcanti
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9783030664961

Verkäufer kontaktieren

Neu kaufen

EUR 128,39
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Ana Cavalcanti
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 504 pp. Englisch. Bestandsnummer des Verkäufers 9783030664961

Verkäufer kontaktieren

Neu kaufen

EUR 128,39
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783030664961_new

Verkäufer kontaktieren

Neu kaufen

EUR 139,04
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 44632089-n

Verkäufer kontaktieren

Neu kaufen

EUR 133,87
Währung umrechnen
Versand: EUR 17,52
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 44632089-n

Verkäufer kontaktieren

Neu kaufen

EUR 139,03
Währung umrechnen
Versand: EUR 17,80
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783030664961

Verkäufer kontaktieren

Neu kaufen

EUR 149,89
Währung umrechnen
Versand: EUR 8,77
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 44632089

Verkäufer kontaktieren

Gebraucht kaufen

EUR 151,71
Währung umrechnen
Versand: EUR 17,52
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Gebraucht Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 44632089

Verkäufer kontaktieren

Gebraucht kaufen

EUR 152,69
Währung umrechnen
Versand: EUR 17,80
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2022
ISBN 10: 3030664961 ISBN 13: 9783030664961
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26394680555

Verkäufer kontaktieren

Neu kaufen

EUR 167,77
Währung umrechnen
Versand: EUR 7,89
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen