Search Results - "executable specification"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    An Executable Specification of Map-Join-Reduce Using Haskell by Junqi Ren, Lei Liu, Feng Liu, Wenbo Zhou, Shuai Lu

    Published in IEEE Access (2019-01-01)
    Subjects: “…executable specification…”
    Get full text
    Article


  2. 2

    On the Execution and Runtime Verification of UML Activity Diagrams by François Siewe, Guy Merlin Ngounou

    Published in Software (2025-02-01)
    Subjects: “…executable specification…”
    Get full text
    Article


  3. 3

    Dynamic Socio-technical System Design based on Stakeholder Interaction by Albert Fleischmann, Werner Schmidt, Christian Stary

    Subjects: “…Process modeling, subject-orientation, executable specification, dynamic control, decision making.…”
    Get full text
    Article


Search Tools: