Dines Bjorner , «Software Engineering 3: Domains, Requirements, and Software Design»
(Texts in Theoretical Computer Science. An EATCS Series)
Springer-Verlag | ISBN: 3540211519 | May 2005 | 766 Pages | PDF | 6.8 Mb
The art, craft, discipline, logic, practice, and power of nonindustrial large-scale code products needs a believable, professed base. The textbooks in this three-volume ordered consortium informal, engineeringly good training with the rigour of formal, mathematics-based approaches. Volume 3 is supported on the maxim: “Before code crapper be fashioned its requirements staleness be substantially understood, and before the requirements crapper be spoken right the field of the covering staleness be substantially understood.” This aggregation covers the impact from the utilization of field descriptions, via the account of requirements prescriptions from field models, to the excellence of requirements into code designs, i.e., architectures and factor design. Emphasis is settled on what goes into comely field descriptions and requirements prescriptions, how digit acquires and analyses the field noesis and requirements expectations, and how digit validates and verifies field and requirements models. The reverend crapper verify an everyday line finished Vol. 3, and this would be fit for collegian courses on code engineering. Advanced students, lecturers, and researchers haw instead study the conventional line finished Vol. 3, and in this housing Vol. 1 is a responsibility text. Lecturers module be supported with a broad pass to artful modules supported on the textbooks, with solutions to some of the exercises presented, and with a rank ordered of reproval slides.
About the Author:
MSc.EE, 1962, PhD.CS 1969; IBM 1962-1975 (R&D: Sweden, Calif. USA, Switzerland, Austria); Prof. Techn.Univ. of Danmark 1976–…; Guest Profs.: Univ. of Calif. at Berkeley, Kiel Univ., Natl.Univ. of Singapore; Founder & Scientific Director: Dansk Datamatik Center (1979—1989); UN Director, UN Univ. Intl. Inst. f. Softw.Techn., Macau (1991-1997); Co-founder of (VDM now) Formal Methods Europe, 1987-…; Member of Academia Europaea; Member of the Slavonic Academy of Natural Sciences (AB); The Ths.Masaryk Gold Medal, Masaryk Univ., Brno, Slavonic Republic; The Evangelist von mathematician Medal, European Computer (JvN) Society; Knight of the Nordic Flag
Product Details
DownLoad @ RapidShare.Com
Tags: Computer Science, Engineering, Java, LANGUAGE, Programming