Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualiza...

The article describes the results of technical documentation automation projects. effects graphical representations are presented on several levels. Performance indicators have been applied to other systems accordingly. significant achievements program increase efficiency this system and automated is convenient for all users. This more reliable, efficient, faster than others. Software indicate ...

Developing interactive programs is difficult because of the poor support for programming interactions in programming languages and the poor support for creative graphic design in traditional toolkits. This paper presents the Hierarchical State Machine Toolkit (HsmTk), a toolkit targeting the development of rich interactions. HsmTk has been designed to accommodate the needs of its users, namely ...

A large amount of open source code is now available online, presenting a great potential resource for software developers. This has motivated software engineering researchers to develop tools and techniques to allow developers to reap the benefits of these billions of lines of source code available online. However, collecting and analyzing such a large quantity of source code presents a number ...

A power plant simulation tool (‘PowerSim’) has been developed with 10 years experience from the development of a plant simulator for efficient modeling of a power plant. PowerSim is the first developed tool in Korea for plant simulation with various plant component models, instructor station function and the Graphic Model Builder (GMB). PowerSim is composed of a graphic editor using general pur...

The Fluorescence2D is free software that allows analysis of two-dimensional fluorescence spectra obtained using the accelerated "triangular" acquisition schemes. The software is a combination of Python and MATLAB-based programs that perform conversion of the triangular data, display of the two-dimensional spectra, extraction of 1D slices at different wavelengths, and output in various graphic f...

Formalizing a modeling technique broaches issues including development of software specification, design, analysis, and synthesis. Software engineering methodologies should be grounded on rigorous principles and not on ad hoc approaches. Our approach is to integrate the recently published industrial standard graphic notation UML (Unified Modeling Language), for object-oriented modeling, and PVS...

Veda Systems Incorporated has recently completed the development of a completely open architecture, UNIX-based software environment for standard telemetry and more generic data acquisition applications. The new software environment operates on many state-ofthe-art high-end workstations and provides a workstation independent, multiuse platform for front-end system configuration, database managem...