Abstract
The previous chapters of this book explained how the behaviors of a system can be specified mathematically. Such a system specification must be complemented by a requirement specification defining the properties that the system must satisfy.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer-Verlag London
About this chapter
Cite this chapter
Ölveczky, P.C. (2017). System Requirements. In: Designing Reliable Distributed Systems. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6687-0_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6687-0_15
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6686-3
Online ISBN: 978-1-4471-6687-0
eBook Packages: Computer ScienceComputer Science (R0)