Software Engineering 2, Fachbücher von Dines Bjørner

Das Fachbuch "Software Engineering 2" von Springer bietet eine umfassende Einführung in die Prinzipien und Techniken der Spezifikation von Systemen und Programmiersprachen. Es ist Teil einer dreibändigen Reihe, die informelle, ingenieurtechnisch fundierte Ansätze mit der Strenge formaler, mathematischer Methoden kombiniert. In diesem Band werden zentrale Themen wie die Modellierung der Semiotics, einschliesslich Pragmatik, Semantik und Syntax, behandelt. Darüber hinaus werden spezielle Themen wie Modularität, UML-Klassendiagramme, Petri-Netze, Live Sequence Charts, Statecharts und temporale Logiken, einschliesslich der Dauerrechnung, behandelt. Das Buch schliesst mit Techniken zur Entwicklung von Interpretern und Compilern für verschiedene Programmierparadigmen ab. Es richtet sich an Studierende im fortgeschrittenen Bachelor- und frühen Masterstudium sowie an Forschende im Bereich der Programmiermethodologien.