„program specification“

Suchergebnisse

422 Treffer

• Tool Support for the Interactive Derivation of Formally Correct Functional Programs
  Guttmann, Walter ; Partsch, Helmuth ; Schulte, Wolfram ; Vullinghs, Ton 2003 Universität Ulm
• Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
  Basile, Davide ; Beek, Maurice H. ˜terœ ; Ferrari, Alessio ; Legay, Axel
• Specification and automated validation of staged reconfiguration processes for dynamic software product lines
  Lochau, Malte ; Bürdek, Johannes ; Hölzle, Stefan ; Schürr, Andy
• Computing rectangular dissections – a case study in deriving functional programs from logical specifications
  Padawitz, Peter 1994 Dekanat Informatik, Univ.
• Workshop Concurrency, Specification & Programming – October 12 - 15, 1994
  Czaja, Ludwik 1994 Professoren des Inst. für Informatik
• Deriving efficient parallel programs by systemating coarsing specification parallelism
  Gorlač, Sergej 1993 SFB 342
• LIMETTE – logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual
  Brzoska, Christoph ; Schäfer, Karl 1993 Univ., Fak. für Informatik
• Nondeterminism in algebraic specifications and algebraic programs
  Hußmann, Heinrich 1993 Birkhäuser
• Program development by specification and transformation – the PROSPECTRA methodology, language family, and system
  Hoffmann, Berthold 1993 Springer
• Logic and algebra of specification – [proceedings of the Nato Advanced Study Institute on Logic and Algebra on Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]
  Bauer, Friedrich L. 1993 Springer
• User interface specification with attribute grammars – a new approach
  Hua, Qingyi 1992 Fachgebiet Programmiersprachen und Übers., Univ.
• Workshop Concurrency, Specification & Programming – November 19 - 21, 1992
  1992 Dekan des Fachbereichs Informatik
• ProCoS at Oldenburg – the interface between specification language and occam-like programming language
  Olderog, Ernst-Rüdiger 1992 Fachbereich Informatik, Univ.
• Propositions and specifications of programs in Martin-Löf's type theory
  Nordström, Bengt ; Smith, Jan
• TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs
  D'Osualdo, Emanuele ; Sutherland, Julian ; Farzan, Azadeh ; Gardner, Philippa 2021 KOPS Universität Konstanz
• Essential concepts of algebraic specification and program development
  Sannella, Donald ; Tarlecki, Andrzej
• Modular language specification and composition
  Denzler, Christoph 2001 Shaker
• Correctness proofs and probabilistic tests for constructive specifications and functional programs
  Huong, Dinh Thi Thanh
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Sannella, Donald ; Tarlecki, Andrzej