TY - BOOK AU - Alager,V. S. AU - Periyasamy,K. TI - SPECIFICATION OF SOFTWARE SYSTEMS SN - 0387984305 U1 - 005.1 PY - 1998/// CY - PB - Springer-Verlag, New York KW - Software Engineering KW - Computer Software -- Specifications ER -