00713nam a22002177a 4500 20241120161221.0 241120b ||||| |||| 00| 0 eng d AIMIT LIBRARY 005.368 BJOD Bjorner, D. 185910 Software Engineering 3: Domains requirements and software design / By D. Bjorner. 1st ed. New Delhi : Springer Pvt Ltd., 2007. xxx,766 p.; HB 24.5 cm. Triptych paradigm Conceptual framework 185911 Descriptions 185912 Defining and on definitions Jackson description principles 185913 ddc BK 1 005.368 BJOD 231949 231949