Publisher: Springer; 2006 edition (February 10, 2006)
Format: PDF / Kindle / ePub
Size: 7.8 MB
Downloadable formats: PDF
The paintings, craft, self-discipline, good judgment, perform, and technological know-how of constructing large-scale software program items wishes a plausible, specialist base. The textbooks during this three-volume set mix casual, engineeringly sound perform with the rigour of formal, mathematics-based techniques. quantity 1 covers the fundamental rules and strategies of formal equipment abstraction and modelling. First this e-book offers a valid, yet basic foundation of perception into discrete arithmetic: numbers, units, Cartesians, kinds, capabilities, the Lambda Calculus, algebras, and mathematical common sense. Then it trains its readers in uncomplicated estate- and model-oriented specification ideas and methods. The model-oriented ideas which are universal to such specification languages as B, VDM-SL, and Z are defined right here utilizing the bring up specification language (RSL). This booklet then covers the elemental ideas of applicative (functional), critical, and concurrent (parallel) specification programming. eventually, the quantity encompasses a entire thesaurus of software program engineering, and large indexes and references. those volumes are appropriate for self-study through practising software program engineers and to be used in college undergraduate and graduate classes on software program engineering. teachers may be supported with a entire advisor to designing modules in response to the textbooks, with strategies to a number of the workouts offered, and with an entire set of lecture slides.