Inhaltsverzeichnis: “... to the Field of Research ..... 32 -- 4 Model-Driven Mobile Development ..... 34 -- 4.1 Foundations on Model...”

Schlagwörter: “...Model-Checking Programmanalyse Nebenläufigkeit Monitore dynamische Pushdown-Netzwerke...”

Inhaltsverzeichnis: “... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 -- 2.3 A Model for Profiling Activities . . . . . . . . . . . . . . . . . . . . . . . . . 16 -- 2...”

Inhaltsverzeichnis: “... Modeling Notation als Instrument der Prozesskonfiguration und -dokumentation 214 -- 5.4 Instrumente...”

Inhaltsverzeichnis: “... . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201 -- 7.4.1 Modell des Programmablaufs . . . . . . . . . . . . . 201 -- 7.4.2 Debugging-Strategien...”