TY - BOOK AU - MARC FRAPPIER; HENRI HABRIAS TI - SOFTWARE SPECIFICATION METHODS AN OVERVIEW USING CASE STUDY SN - 1852333537 U1 - 004.0151 (MCA) PB - SPRINGER INC KW - COMPUTER SCIENCE ER -