Alloy <Programmiersprache> Bezüge im Wissensnetz Oberbegriff instantiell (2) GND Programmiersprache Spezifikationssprache In Beziehung stehende Dewey-Dezimalklassifikation mit Determiniertheitsgrad 2 (2) GND 005.12 005.133