A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation
No abstract available.
DOI 10.1007/978-3-319-02654-1_12
Related papers
- A Model Engineering Approach to Tool Interoperability SLE 2008
- Active pebbles: a programming model for highly parallel fine-grained data-driven computations PPoPP 2011
- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling SLE 2012
- Characterizing and enhancing global memory data coalescing on GPUs CGO 2015
- Software Engineering Methods for AI-Driven Deductive Legal Reasoning Onward! 2024
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems CAV 1998
- Proofs in conflict-driven theory combination CPP 2018
- JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution TACAS 2010