Informationen zum Lehrmodul 

Einordnung und Historie von PCTE

Zusammenfassung dieses Lehrmoduls:

Dieses Lehrmodul ordnet PCTE ein, u.a. hinsichtlich der Frage, um welche Art von System es sich handelt, welche Anforderungen und Motive zugrundeliegen und wie sich PCTE in seiner Entstehungsgeschichte entwickelt hat. Erläutert werden weiter die Struktur der Spezifikationen sowie das System H-PCTE

Inhaltsverzeichnis:

1   Einordnung von PCTE
2   Anforderungen an PCTE
3   H-PCTE
4   Versionen der PCTE-Spezifikationen
5   Abstrakte Spezifikationen und Sprachanbindungen
Literatur
Index

relevant für die Lehrveranstaltung(en):

• Einführung in H-PCTE

Vorausgesetzte Lehrmodule:

keine

Stoffumfang in Vorlesungsdoppelstunden: 0.7

Umfang in (DIN-A5-) Seiten: 13

URLs der Volltexte des Skripts:

• DIN A5 (1-spaltig, 51kB)
• DIN A4 (2-spaltig DIN A5, 52kB)

Begleitmaterial:

- entfällt -

Änderungen gegenüber früheren Versionen:

- entfällt -