First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95)
SDT a tool for complex real-time systems
Ft. Lauderdale, Florida
November 06-November 10
ISBN: 0-8186-7123-8
SDT is an object-oriented design tool for development of real-time system using the object-oriented formal specification technique SDL. The tool contains editor, analyser, simulator, and validator, which supports design and simulation and generates complete system source code for C or C++ environments.
Index Terms:
formal specification; real-time systems; object-oriented programming; programming environments; SDT; complex real-time systems tool; object-oriented design tool; real-time system; object-oriented formal specification technique SDL; editor; simulator; validator; C; C++ environments
Citation:
P. Blysa, "SDT a tool for complex real-time systems," iceccs, pp.21, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995