Domain-Specific Languages with Scala

No abstract is available for this paper.

• Publication year

  2015

• Venue

  IEEE International Conference on Formal Engineering Methods

• Publication date

  2015-11-03

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-25423-4_1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Rule-based runtime verification revisited

  2015cited by this paper
• Monitoring with Data Automata

  2014cited by this paper
• Data Automata in Scala

  2014cited by this paper
• Experience with Rule-Based Analysis of Spacecraft Logs

  2014influential reference
• Modbat: A Model-Based API Tester for Event-Driven Systems

  2013cited by this paper
• Scala-Virtualized: linguistic reuse for deep embeddings

  2012cited by this paper
• MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration)

  2011influential reference
• Checking Flight Rules with TraceContract: Application of a Scala DSL for Trace Analysis

  2011cited by this paper
• TraceContract: A Scala DSL for Trace Analysis

  2011influential reference
• Formal Analysis of Log Files

  2010cited by this paper
• Domain Specific Languages

  2010cited by this paper
• Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd Edition

  2010cited by this paper
• Runtime Verification of Concurrent Haskell Programs

  2005cited by this paper
• When and how to develop domain-specific languages

  2005cited by this paper
• Unit Testing in Java: How Tests Drive the Code

  2003cited by this paper
• ASM: a code manipulation tool to implement adaptable systems

  2002cited by this paper
• Extensible Markup Language (XML)

  2002cited by this paper
• An open graph visualization system and its applications to software engineering

  2000cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998influential reference
• Communicating sequential processes

  1983cited by this paper
• Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem

  1982cited by this paper

• The eXchange Calculus (XC): A functional programming language design for distributed collective systems

  2024cites this paper
• Concurrent runtime verification of data rich events

  2023cites this paper
• Functional Programming for Distributed Systems with XC (Artifact)

  2022cites this paper
• Computation Against a Neighbour

  2020cites this paper
• Actor-Based Runtime Verification with MESA

  2020cites this paper
• Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

  2020cites this paper
• Model-Based Testing for MQTT Applications

  2020cites this paper
• A language and framework for dynamic component ensembles in smart systems

  2020cites this paper
• Model-based Network Fault Injection for IoT Protocols

  2019cites this paper
• ITL Monitor: compositional runtime analysis with Interval Temporal Logic

  2019cites this paper
• Why Programming Must Be Supported by Modeling and How

  2018cites this paper
• Runtime Monitoring for Concurrent Systems

  2016influential citation
• Methodologies for Modeling and Simulation in Model-Based Systems Engineering Tools

  2016cites this paper
• Model-Based Testing of Stateful APIs with Modbat

  2015cites this paper
• The Journal of Systems & Software

  year unknowncites this paper