Search Results - "Java program execution"

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

    Runtime verification on abstract finite state models by Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

    ISSN: 0164-1212, 1873-1228
    Published: Elsevier Inc 01.10.2024
    Published in The Journal of systems and software (01.10.2024)
    “…Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Compact visualization of Java program execution by Jayaraman, S., Jayaraman, B., Lessa, D.

    ISSN: 0038-0644, 1097-024X
    Published: Bognor Regis Wiley Subscription Services, Inc 01.02.2017
    Published in Software, practice & experience (01.02.2017)
    “…Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Exploration of Compact Sequence Diagram Using Hyperlink by Aparna, V K

    Published: IEEE 01.08.2018
    “…The objective of this work is about the activation of a hyperlink, which is in a compacted portion, that is accessed and enters a node by a single click of any…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: