„program specification“

Suchergebnisse

1.000+ Treffer

• Programming and Interface Specification Language of JIVE
  Müller, Peter ; Meyer, Jörg ; Poetzsch-Heffter, Arnd 2017 FernUniversität in Hagen
• Principles of Contract Languages (Dagstuhl Seminar 22451)
  Gurov, Dilian ; Hähnle, Reiner ; Huisman, Marieke ; Reger, Giles ; Lidström, Christian
• Toward formal development of programs from algebraic specifications – parameterisation revisited
  Sannella, Donald ; Sokołowski, Stefan ; Tarlecki, Andrzej 1990 [Fachbereich Mathematik, Informatik, Univ.]
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Sannella, Donald ; Sokołowski, Stefan ; Tarlecki, Andrzej
• Constraint-Based Task Specification and Control for Visual Servoing Application Scenarios
  de Laet, Tinne ; Smits, Ruben ; Bruyninckx, Herman ; De Schutter, Joris
• Extended Version of Elucidative Development for Model-Based Documentation and Language Specification
  Wilke, Claas ; Bartho, Andreas ; Schroeter, Julia ; Karol, Sven ; Aßmann, Uwe 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A generic specification for verifying peephole optimizations
  Dold, Axel 1995 Univ., Fak. für Informatik
• Functional specification of imperative programs – an alternative point of view of functional languages
  Mohnen, Markus 1995 RWTH, Fachgruppe Informatik
• First specification of Phoenix, an active database programming language
  Griefhahn, Ulrike 1995 Sekretariat für Forschungsberichte, Inst. für Informatik III
• Mathematical methods of specification and synthesis of software systems '85 – proceedings of the internat. spring school held in Wendisch-Rietz (GDR), April 22 - 26, 1985
  Bibel, Wolfgang 1986 Akademie-Verlag
• Mathematical methods of specification and synthesis of software systems '85 – proceedings of the internat. spring school Wendisch-Rietz, GDR, April 22 - 26, 1985
  Bibel, Wolfgang 1986 Springer
• SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
  Matheson, Dan McKay ; Rumpe, Bernhard ; Goedicke, Michael 2022 Universitätsbibliothek der RWTH Aachen
• Nondeterminism in algebraic specifications and algebraic programs
  Hußmann, Heinrich 1993 Ludwig-Maximilians-Universität München
• Improving the quality of automotive test case specifications
  Juhnke, Katharina 2021 Universität Ulm
• Modular Verification of a Modular Specification: Behavioral Types as Program Logics
  Kamburjan, Eduard ; Hähnle, Reiner ; Boer, Frank S. ˜deœ 2020 Universitäts- und Landesbibliothek Darmstadt
• SAMEM: A Methodology for the Elicitation and Specification of Requirements for Agile Model-driven Engineering of Large Software Solutions
  Matheson, Dan McKay 2019 Shaker
• Scaling Correctness-by-Construction
  Bordis, Tabea ; Schaefer, Ina ; Broch Johnsen, Einar 2025 KIT-Bibliothek
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Specification Languages for Preserving Consistency between Models of Different Languages
  Kramer, Max Emanuel 2019 KIT Scientific Publishing
• Relational Reasoning - Constraint Solving, Deduction, and Program Verification
  Ghazi, Aboubakr Achraf ˜elœ ; Taghdiri, M. 2015 KIT-Bibliothek