Boken "Software Engineering for Robotics" tar for seg et bredt spekter av temaer innen programvareutvikling for roboter. Den dekker alt fra modellering og programmeringsspråk til designmetoder og verifisering. Leserne vil også finne grunnleggende problemstillinger knyttet til etikk og regulering. Boken presenterer resultatene fra moderne teknikker som modellbasert ingeniering, produktlinjer, misjonsspesifikasjon, komponentbasert utvikling, simulering, testing og bevismetoder, og den illustrerer hvordan disse teknikkene anvendes i varierte applikasjoner, fra produksjonsroboter til tjenesteroboter, autonome kjøretøy og til og med roboter som er i stand til å utvikle seg i den virkelige verden. I et avsluttende kapittel oppsummeres diskusjoner om etikk og regulering, basert på innspill fra en gruppe eksperter. Boken har sitt grunnlag i et to-dagers arrangement kalt RoboSoft, som fant sted i november 2019 i London. Dette arrangementet, som hadde generøs støtte fra Royal Academy of Engineering og University of York i Storbritannia, samlet over 100 forskere, ingeniører og praktikere fra hele verden, representerende 70 internasjonale institusjoner. Målgruppen for boken inkluderer forskere og fagfolk innen robotikk og programvareutvikling.
