Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)


The artwork, craft, self-discipline, good judgment, perform and technological know-how of constructing large-scale software program items wishes a certified base. The textbooks during this three-volume set mix casual, engineeringly sound techniques with the rigor of formal, mathematics-based approaches.

This quantity covers the fundamental ideas and methods of specifying structures and languages. It bargains with modelling the semiotics (pragmatics, semantics and syntax of structures and languages), modelling spatial and straightforward temporal phenomena, and such really expert themes as modularity (incl. UML category diagrams), Petri nets, stay series charts, statecharts, and temporal logics, together with the period calculus. eventually, the ebook offers options for interpreter and compiler improvement of sensible, important, modular and parallel programming languages.

This e-book is focused at overdue undergraduate to early graduate college scholars, and researchers of programming methodologies. Vol. 1 of this sequence is a prerequisite text.

Show sample text content

Download sample