search for books and compare prices
Marcel Verhoef has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: 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 innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them...read more
Hardcover:
9783642541179 | Springer-Verlag New York Inc, May 7, 2014, cover price $119.00 | About this edition: 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.
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.
Hardcover:
9781852338817 | Springer-Verlag New York Inc, January 1, 2005, cover price $95.00
Paperback:
9781849969437 | Springer Verlag, January 1, 2005, cover price $95.00 | About this edition: This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design.
displaying 1 to 2 |
at end