Specification of software systems - Alagar, V.S.; Periyasamy, K. (London Springer-Verlag, 2011)
Keywords: Software engineering; Computer software -- Specifications