000			02080cam a2200277 a 4500
008			090409m20062009gw a b 001 0 eng
010			_a2005936100 _z 2006921809 _z 2006920552
020			_a3540211500 (v. 2)
020			_a9788181287847 (V.1)
035			_a(Sirsi) u1343
040			_aEG-CaNU _cEG-CaNU _dEG-CaNU
042			_ancode
082	0	0	_a005.1 _2 22
100	1		_aBj?rner, D. _q (Dines), _d 1937- _91326
245	1	0	_aSoftware engineering / _c D. Bj?rner.
260			_aBerlin ; _a New York : _b Springer, _c 2006-
300			_av. <1-3> : _b ill. ; _c 24 cm.
490	0		_aTexts in theoretical computer science
504			_aIncludes bibliographical references and indexes.
520			_aThe art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.
650		0	_aSoftware engineering. _91327
650		0	_aComputer programming. _91328
596			_a1
999			_c383 _d383