Articles liés à Software Engineering for Robotics

Software Engineering for Robotics ISBN 13 : 9783030664961

Software Engineering for Robotics - Couverture souple

 
9783030664961: Software Engineering for Robotics

Synopsis

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.

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


Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
EUR 150,25

Autre devise

EUR 17,30 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 109,83

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783030664930: Software Engineering for Robotics

Edition présentée

ISBN 10 :  3030664937 ISBN 13 :  9783030664930
Editeur : Springer Nature Switzerland AG, 2021
Couverture rigide

Résultats de recherche pour Software Engineering for Robotics

Image fournie par le vendeur

ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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 . N° de réf. du vendeur 611590575

Contacter le vendeur

Acheter neuf

EUR 109,83
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering. N° de réf. du vendeur 9783030664961

Contacter le vendeur

Acheter neuf

EUR 128,39
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Ana Cavalcanti
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 504 pp. Englisch. N° de réf. du vendeur 9783030664961

Contacter le vendeur

Acheter neuf

EUR 128,39
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783030664961_new

Contacter le vendeur

Acheter neuf

EUR 137,74
Autre devise
Frais de port : EUR 4,69
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 44632089-n

Contacter le vendeur

Acheter neuf

EUR 132,19
Autre devise
Frais de port : EUR 17,30
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783030664961

Contacter le vendeur

Acheter neuf

EUR 148,01
Autre devise
Frais de port : EUR 6,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 44632089-n

Contacter le vendeur

Acheter neuf

EUR 137,72
Autre devise
Frais de port : EUR 17,63
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44632089

Contacter le vendeur

Acheter D'occasion

EUR 150,25
Autre devise
Frais de port : EUR 17,30
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Cavalcanti, Ana (EDT); Dongol, Brijesh (EDT); Hierons, Rob (EDT); Timmis, Jon (EDT); Woodcock, Jim (EDT)
Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44632089

Contacter le vendeur

Acheter D'occasion

EUR 151,24
Autre devise
Frais de port : EUR 17,63
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2022
ISBN 10 : 3030664961 ISBN 13 : 9783030664961
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. 1st ed. 2021 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26394680555

Contacter le vendeur

Acheter neuf

EUR 165,66
Autre devise
Frais de port : EUR 7,79
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre