Inhaltsverzeichnis
14 Beziehungen: Formale Sprache, Funktion (Programmierung), IBM, Lecture Notes in Computer Science, Metasprache, Operationelle Semantik, PL/I, Prentice Hall, Programmiersprache, Software, Spezifikation, Springer Science+Business Media, Vienna Development Method, Wien.
Formale Sprache
Eine formale Sprache ist eine abstrakte Sprache, bei der im Unterschied zu natürlichen Sprachen oft nicht die Kommunikation im Vordergrund steht, sondern die Definition und Anwendung formaler Systeme im engeren Sinn und der Logik im weiteren, allgemeinen Sinn.
Sehen Vienna Definition Language und Formale Sprache
Funktion (Programmierung)
Eine Funktion ist in der Informatik und in verschiedenen höheren Programmiersprachen die Bezeichnung eines Programmkonstrukts, mit dem der Programm-Quellcode strukturiert werden kann, so dass Teile der Funktionalität des Programms wiederverwendbar sind.
Sehen Vienna Definition Language und Funktion (Programmierung)
IBM
Die International Business Machines Corporation (IBM) ist ein börsennotiertes US-amerikanisches IT- und Beratungsunternehmen mit Sitz in Armonk im Bundesstaat New York.
Sehen Vienna Definition Language und IBM
Lecture Notes in Computer Science
Lecture Notes in Computer Science (LNCS) ist eine Buchreihe aus der Informatik, die seit 1973 von Springer Science+Business Media (vormals Springer-Verlag) herausgegeben wird.
Sehen Vienna Definition Language und Lecture Notes in Computer Science
Metasprache
Eine Metasprache ist eine „Sprache über Sprache“.
Sehen Vienna Definition Language und Metasprache
Operationelle Semantik
Die operationelle Semantik ist eine Technik der Informatik um die Bedeutung beziehungsweise die Semantik von Computerprogrammen zu beschreiben.
Sehen Vienna Definition Language und Operationelle Semantik
PL/I
Programming Language One, oft als PL/I (auch PL/1, PL1 oder PLI) abgekürzt, ist eine Programmiersprache, die in den 1960er-Jahren von IBM entwickelt wurde.
Sehen Vienna Definition Language und PL/I
Prentice Hall
Prentice Hall ist ein Imprint der Pearson Education, Inc.
Sehen Vienna Definition Language und Prentice Hall
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Sehen Vienna Definition Language und Programmiersprache
Software
Software (dt.
Sehen Vienna Definition Language und Software
Spezifikation
Spezifikation (aus, „Auflistung“, „Verzeichnis“) ist im Vertragsrecht die genaue Bestimmung der Anforderungen des Käufers oder Auftraggebers an die Eigenschaften eines Produktes, einer Leistung, Dienstleistung oder eines Systems.
Sehen Vienna Definition Language und Spezifikation
Springer Science+Business Media
Springer Science+Business Media S.A. mit Sitz in Luxemburg und operativem Hauptbüro in Berlin und Heidelberg war ein internationaler Wissenschaftsverlag für Bücher, Zeitschriften und Online-Medien.
Sehen Vienna Definition Language und Springer Science+Business Media
Vienna Development Method
Vienna Development Method (VDM) ist eine Methode zur Entwicklung von Computer-Programmen, die auf formalen Spezifikationen mit Hilfe der VDM-eigenen Spezifikationssprache Vienna Definition Language basiert.
Sehen Vienna Definition Language und Vienna Development Method
Wien
Wien ist die Bundeshauptstadt der Republik Österreich und zugleich eines der neun österreichischen Bundesländer.