Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund von Baumaßnahmen ist die Deutsche Nationalbibliothek in Frankfurt am Main vom 28. Oktober bis 9. November 2024 geschlossen.
Due to construction work, the German National Library in Frankfurt am Main will be closed from 28 October to 9 November 2024.
 
 

Ergebnis der Suche nach: idn=040561860






Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4056186-0
Sachbegriff Softwarespezifikation
Quelle Au
Synonyme Programmspezifikation
Spezifikation / Software
Systementwurfsbeschreibung / Informatik
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Beispiele 3 Begriffe
  1. COM+
    Programmierumgebung
  2. COM+ 1.0
    Programmierumgebung
  3. ...
Thema in 200 Publikationen
  1. SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
    Matheson, Dan McKay. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
  2. Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes
    Cha, Suhyun. - Göttingen : sierke VERLAG, 2021, 1. Auflage
  3. ...
Maschinell verknüpft mit 13 Publikationen
  1. Certificates for automata in a hostile environment
    Muskalla, Sebastian. - Braunschweig : Technische Universität Braunschweig, 2024
  2. Automated termination analysis of C programs
    Hensel, Jera. - Aachen : Universitätsbibliothek der RWTH Aachen, 2023
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration