• DocumentCode
    3340157
  • Title

    Task graphs for mobile code-an introduction to ITGS

  • Author

    Silberman, Ami ; Stoyen, Alexander D.

  • Author_Institution
    New Jersey Inst. of Technol., Newark, NJ, USA
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    239
  • Lastpage
    248
  • Abstract
    We present ITGS, the Integrated Task Graph System. ITGS is a combined specification and analysis system for the design of complex real-time system, in particular those involving mobile code. ITGS data structures and analysis algorithms will be used throughout a systems design cycle. In addition, ITGS will either contain or interface with CASE tools and a run-time system or systems in order to provide “cradle-to-grave” support based upon the task-graph model
  • Keywords
    distributed programming; formal specification; task analysis; CASE tools; ITGS; Integrated Task Graph System; analysis; complex real-time system; mobile code; specification; Software requirements and specifications;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object-Oriented Real-Time Dependable Systems, 1999. Proceedings. Fourth International Workshop on
  • Conference_Location
    Santa Barbara, CA
  • Print_ISBN
    0-7803-5579-2
  • Type

    conf

  • DOI
    10.1109/WORDS.1999.806595
  • Filename
    806595