Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=4056186-0



Treffer 1 von 1 < < > <



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 12 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
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration