Free Delivery Over $100
|
|
|||
|
||||
OverviewFull Product DetailsAuthor: John Fitzgerald , Peter Gorm Larsen , Marcel VerhoefPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: Softcover reprint of the original 1st ed. 2014 Dimensions: Width: 15.50cm , Height: 2.10cm , Length: 23.50cm Weight: 6.146kg ISBN: 9783662524442ISBN 10: 3662524449 Pages: 385 Publication Date: 03 September 2016 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsReviews“The book gives a good overview of the DESTECS approach to co-simulation. The clarity of the examples, in particular, make it a good entry point for getting to grips with this design technique.” (Richard Banach, Formal Aspects of Computing, Vol. 31, 2019) The book gives a good overview of the DESTECS approach to co-simulation. The clarity of the examples, in particular, make it a good entry point for getting to grips with this design technique. (Richard Banach, Formal Aspects of Computing, Vol. 31, 2019) Author InformationJohn 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 EmbeddedTechnology 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 PhD from the Radboud University Nijmegen on multi-disciplinary design methodologies for systems engineering. Tab Content 6Author Website:Countries AvailableAll regions |
||||
