Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: nid=4182217-1



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://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 138 Publikationen
  1. Ein Rahmenwerk für operationale Spezifikationssprachen
    Weinell, Erhard Herbert. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
  2. Interdisziplinäre Spezifikation produktionstechnischer Systeme
    Flender, Jerome. - Aachen : Apprimus Verlag, 2022, 1. Auflage
  3. ...
Maschinell verknüpft mit 9 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 Sarah Katharina. - Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2014
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration