Search Results - "Java PathFinder 2"

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

    Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks by Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

    ISBN: 0769527787, 9780769527789
    ISSN: 1530-0803
    Published: IEEE 01.04.2007
    “… In this paper, we evaluate the cost-effectiveness of the Java PathFinder 2 (JPF 2) model checker for the detection of deadlocks in the context of the TestCon method…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development by Liwei Shen, Xin Peng, Wenyun Zhao

    ISBN: 9780769535999, 0769535992
    ISSN: 1530-0803
    Published: IEEE 01.04.2009
    “…Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Cover Image

    Supporting Domain-Specific Programming in Web 2.0: A Case Study of Smart Devices by Ahmadi, Navid, Lelli, Francesco, Jazayeri, Mehdi

    ISBN: 9780769540061, 9781424464753, 1424464757, 0769540066
    ISSN: 1530-0803
    Published: IEEE 01.04.2010
    “…Web 2.0 communities emerge regularly with the growing need for domain-specific programming over Web APIs. Even though Web mashups provide access to Web APIs,…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: