„program specification“

Suchergebnisse

422 Treffer

• On the domain-specific formalization of requirement specifications - a case study of ETCS
  Dorka, Moritz ; Scholz, Sven ; Schütte, Jörg 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Generating implementations from formal specifications – a translator from Promela to Java
  Papesch, Matthias 2002 Universitätsbibliothek der Universität Stuttgart
• Automated Deduction in Geometry – 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
  Ida, Tetsuo ; Fleuriot, Jacques 2007 Springer International Publishing
• Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
  Lahiri, Shuvendu K. 2018 Springer International Publishing
• Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
  2018 Springer International Publishing
• Runtime Verification – 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
  Shuvendu, Lahiri ; Reger, Giles 2017 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  Hermenegildo, Manuel V. ; López García, Pedro 2017 Springer International Publishing
• Object-based Programming with Go
  Maurer, Christian 2025 Springer Fachmedien Wiesbaden, Imprint: Springer
• Object-based Programming with Go
  Maurer, Christian 2025 Springer
• Eine DOSL für Clojure
  Brauer, Johannes ; Crasemann, Christoph ; Jasser, Stefanie ; Krasemann, Hartmut 2015 Nordakademie, Hochschule der Wirtschaft
• Eine DOSL für Clojure
  Brauer, Johannes 2015 Nordakad.
• Syntax and Semantics of Graphs – An approach to the specification of visual notations for discrete-event systems
  Janneck, Jörn W. 2000 Shaker
• Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification – 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III
  Margaria, Tiziana ; Steffen, Bernhard 2025 Springer Nature Switzerland, Imprint: Springer
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
  Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif ; Biro, Miklos 2016 Springer International Publishing
• Modular specification and verification of object oriented programs
  Müller, Peter 2016 FernUniversität in Hagen
• Modular specification and verification of object oriented programs
  Müller, Peter 2002 Springer
• Gene programs driving cortical neuron specifications
  He, Zhisong ; Treutlein, Barbara
• An Expressive Trace Logic for Recursive Programs
  Gurov, Dilian ; Hähnle, Reiner 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS
  Neinert, Sascha 2005 Universitätsbibliothek der Universität Stuttgart
• Document driven black box testing
  Wetzel, Matthias 2004 Universitätsbibliothek der Universität Stuttgart