• Journal of Internet Computing and Services
    ISSN 2287 - 1136(Online) / ISSN 1598 - 0170 (Print)
    http://jics.or.kr/

Digital Library


Search: " keyword: Chart" (5)
  1. 1. Developing a Reactive System Model from a Scenario-Based Specification Model
    Ryoung-Kwo Kwon, Gi-Hwon Kwon, Vol. 13, No. 1, pp. 99-106, Feb. 2012
    10.7472/jksii.2012.13.1.99
    Keywords: LTL Synthesis, Reactive System, Scenario Based Specification, Live Sequence Chart
  2. 2. Code Generation from the Statechart Based on XMI
    Joa-Sang Lim, Jin-Man Kim, Vol. 12, No. 6, pp. 161-170, Dec. 2011
    Keywords: Statechart, XMI, Code Generation
  3. 3. An Efficient Incremental Evaluation Technique Using an Extended Dependency Chart
  4. 4. Web-based Chart Generating System Using CML
    Hyun-Nim Yoon, Yang-Woo Kim, Vol. 9, No. 5, pp. 47-58, Oct. 2008
    Keywords: CML, Chart Generating System, XML, Chart
  5. 5. The Building of Incremental Interpreter Using Analyzing of Dynamic Semantics