„program specification“

Suchergebnisse

422 Treffer

• Algebraic specification techniques in object oriented programming environments
  Breu, Ruth 1991 Springer
• Automated generation of smart contract code from legal contract specifications with Symboleo2SC
  Rasti, Aidin ; Anda, Amal Ahmed ; Alfuhaid, Sofana ; Parvizimosaed, Alireza ; Amyot, Daniel ; Roveri, Marco ; Logrippo, Luigi ; Mylopoulos, John
• Specification and compositional verification of real time systems
  Hooman, Jozef J. M. 1991 Springer
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin 2011 KIT Scientific Publ.
• SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
  Matheson, Dan McKay 2019 Shaker Verlag
• Training program for the metric specification of imaging sensors
  Illmann, Raik ; Rosenberger, Maik ; Notni, Gunther 2022 TU Ilmenau
• Programming with specifications – an introduction to ANNA, a language for specifying Ada programs
  Luckham, David C. 1990 Springer
• A generalized approach to the specification of context conditions
  Austermühl, Burkhard ; Henhapl, Wolfgang 1981 PU 1, Techn. Hochsch.
• Concepts, syntax and semantics of SEGRAS – a specification language for distributed systems
  Krämer, Bernd J. 1989 Oldenbourg
• Horn clause specifications – a uniform framework for abstract data types and logic programming
  Padawitz, Peter 1985 Dekanat d. Fak. für Mathematik u. Informatik, Univ.
• Some papers on firmware specification and design
  Giloi, Wolfgang ; Güth, Reinhold ; Behr, Peter 1980 Techn. Univ., Fachbereich Informatik
• A functional programming approach to the specification and verification of concurrent systems
  Dybjer, Peter ; Sander, Herbert P.
• APL*DS [APLDS], a powerful portable programming system for RT-level hardware description and simulation, microprogram specification and the simulation of parallel processing concepts
  Giloi, Wolfgang ; Balaci, Radu Dumitru ; Behr, Peter 1978 Universitätsbibliothek d. Techn. Univ., Abt. Publikationen [Vertrieb]
• Relative specification and transformational re-use of functional programs
  Runciman, Colin ; Jagger, Nigel
• STAC – ein Ökosystem für raumzeitliche Daten
  Mohr, Matthias 2021 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Beryllium irradiation embrittlement test programme – material and specimen specification, manufacture and qualification
  Harries, Donald Rees ; Dalle Donne, Mario 1996 FZKA
• Workshop Concurrency, Specification and Programming
  2004 Professoren des Inst. für Informatik
• Workshop Concurrency, Specification and Programming
  2002 Professoren des Inst. für Informatik
• Modular specification and verification of object oriented programs
  Müller, Peter 2001 Fernuniv., Fachbereich Informatik