Autor: Peter Gorm Larsen

Support
John Fitzgerald is a specialist in the engineering of embedded systems and systems-of-systems. He has worked in and with the aerospace and embedded processor industries to develop formal model-based methods for software development that are supported by tools and deployed in commercial practice, notably the VDM and Overture framework. He is now Professor of Computing Science at Newcastle University, where he is Director of the Centre for Software Reliability. Peter Gorm Larsen has been a specialist in the development of tool support for VDM for more than twenty years. He was the main architect behind the commercial VDMTools and is now Convener of the Overture open source initiative, and has experience of applying VDM in many different industrial contexts. He is now a professor at the Department of Engineering at Aarhus University in Denmark, where he leads the Software Engineering group. Marcel Verhoef is an embedded systems architect at Chess Embedded Technology International B.V. (Haarlem, The Netherlands) where has worked on the development of complex mission-critical embedded systems for clients in the aerospace and automotive industries. He holds a Ph D from the Radboud University Nijmegen on multi-disciplinary design methodologies for systems engineering.




4 Ebooks von Peter Gorm Larsen

John Fitzgerald & Peter Gorm Larsen: Collaborative Design for Embedded Systems
One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid …
PDF
Englisch
€53.49
John Fitzgerald & Peter Gorm Larsen: Validated Designs for Object-oriented Systems
Object-oriented design methods are commonplace in computing systems development, but are often dismissed as ‚boxes & arrows‘. If systems developers are to gain full advantage from such methods, they …
PDF
Englisch
DRM
€77.13
John Fitzgerald & Cláudio Gomes: The Engineering of Digital Twins
This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the …
PDF
Englisch
€192.59