TY - BOOK AU - Bjorner, D. TI - Software Engineering 3: Domains requirements and software design U1 - 005.368 PY - 2007/// CY - New Delhi PB - Springer Pvt Ltd. KW - Triptych paradigm KW - Conceptual framework KW - Descriptions KW - Defining and on definitions KW - Jackson description principles ER -