System Requirements

  • Peter Csaba ÖlveczkyEmail author
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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.

Copyright information

© Springer-Verlag London 2017

Authors and Affiliations

  1. 1.University of OsloOsloNorway

Personalised recommendations