These pages are editable by the community, so please contribute! Click here to learn more about this feature. We’d love to hear your feedback.
The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. The method bridges the gap between... read more
List the books that contain additional information about this book.
If you have any suggestions for how we can improve this page or if there are sections that you would like us to add, please let us know.