Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,6 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind unter Beachtung der geltenden Hygiene- und Abstandsregelungen für einen eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=4182217-1



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4182217-1
Sachbegriff Spezifikationssprache
Quelle Lex. Informatik
Thematischer Bezug Verwandter Begriff: Softwarespezifikation
Verwandter Begriff: Beschreibungssprache
Verwandter Begriff: Entwurfssprache
Systematik 30 Informatik, Datenverarbeitung
Beispiele 9 Begriffe
  1. Alloy <Programmiersprache>
    Beispiel für: Spezifikationssprache
  2. B <Programmiersprache>
    Beispiel für: Spezifikationssprache
  3. ...
Untergeordnet 14 Datensätze
  1. Abstrakte Zustandsmaschine
    Spezifikationssprache
  2. ANNA <Programmiersprache>
    Ada
  3. ...
Thema in 135 Publikationen
  1. Efficiently deploying safety-critical applications onto open integrated architectures
    Zimmer, Bastian. - Stuttgart : Fraunhofer-Verl., 2014
  2. S-BPM ONE - running processes
    Berlin : Springer, 2013
  3. ...
Maschinell verknüpft mit 8 Publikationen
  1. LA+ statt Pseudocode
    Moritz, Jennifer. - Braunschweig-Wolfenbüttel : Ostfalia Hochschule für angewandte Wissenschaften, 2018
  2. Automatisierte Verifikation des Designs von grafischen Benutzeroberflächen mit Bayes’schen Netzen - Konzeptualisierung und praktische Anwendung am Beispiel des Audi Infotainmentsystems MMI
    Heilemann, Miriam. - Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2014
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration