Software Engineering 2: Specification of Systems and Languages

The 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 tem...