The target is customary: software engineering, in one of its most complex and often approached subdomains: concurrent and real time systems. The weapon - felt as hard to learn and cumbersome to handle - is rather infrequent: formal design methods. The conceptual distance between the disciplined, closely controlled and well-established world of mathematics and the effervescent and ever increasing jungle of real-time application development is huge. No wonder, the low hit rate - so far. This book may possibly change the overall picture.
by David Gray
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).