„program specification“

Suchergebnisse

422 Treffer

• An abstract specification language for static program analysis
  Vistein, Michael ; Ortmeier, Frank ; Reif, Wolfgang ; Huuck, Ralf ; Fehnker, Ansgar 2009 Universität Augsburg
• Priority Program SoftSpez and the International INT Workshops “Integration of Software Specification Techniques for Applications in Engineering” (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“) – DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“
  Ehrig, Hartmut ; Braatz, Benjamin ; Klein, Markus
• Whole test suite generation from graph transformation specifications using ant colony optimization
  Ghasemi, Simin ; Rafe, Vahid ; Bahrampour, Anvar ; Heckel, Reiko
• 09361 Abstracts Collection – Design and Validation of Concurrent Systems
  Flanagan, Cormac ; Graf, Susanne ; Parthasarathy, Madhusan ; Quadeer, Shaz
• Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract)
  Katzouris, Nikos ; Paliouras, Georgios 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Refinement of Asynchronous Programs Against Context-Free Specifications
  Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak ; Thinniyam, Ramanathan S. ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Program Tailoring: Slicing by Sequential Criteria (Artifact)
  Tan, Tian ; Li, Yue ; Zhang, Yifei ; Xue, Jingling
• Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
  Navarro, Marcelo ; Olmedo, Federico 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• DynSem: A DSL for Dynamic Semantics Specification
  Vergu, Vlad ; Neron, Pierre ; Visser, Eelco 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Playing Safe
  Colcombet, Thomas ; Fijalkow, Nathanael ; Horn, Florian 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logic + control: An example
  Drabent, Wlodzimierz 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Implementation of Axiomatic Language
  Wilson, Walter W. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Smart test data generators via logic programming
  Bulwahn, Lukas 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synthesis of Logic Programs from Object-Oriented Formal Specifications
  Herranz, Ángel ; Mariño, Julio 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Relational Specifications to Logic Programs
  Near, Joseph P. 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Epistemic Logic Programs with World View Constraints
  Kahl, Patrick Thor ; Leclerc, Anthony P. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exercise Solution Check Specification Language for Interactive Programming Learning Environments
  Swacha, Jakub 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tool for the Certification of Sequential Function Chart based System Specifications
  Blech, Jan Olaf 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Shape Analysis of Sets
  Reineke, Jan 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• TEAM Engine – Vorstellung der neusten Tests für OGC-Standards wie OGC API Features oder GeoTIFF
  Stenger, Dirk 2020 KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -