Abstract
This book has focussed on the specification and design of programs which carry out computations (i.e., situations where, given suitable data, we compute an appropriate result and deposit it in a named location that was hitherto unused).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
One formalism which copes with all the aspects of requirements to which we have alluded is “Statecharts”. For details, the reader is referred to, Harel, D., “Statecharts: A Visual Formalism for Complex Systems”, Science of Computer Programming, 8 (1987).
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). On Interactive Software. In: Constructing Correct Software. Springer, London. https://doi.org/10.1007/1-84628-079-6_13
Download citation
DOI: https://doi.org/10.1007/1-84628-079-6_13
Publisher Name: Springer, London
Print ISBN: 978-1-85233-820-6
Online ISBN: 978-1-84628-079-5
eBook Packages: Computer ScienceComputer Science (R0)