Search Results for "trace"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random...

...It allows to: - Create "System Maps" to describe software products - Decompose systems deeply Also, it has some cool goodies: - Image viewer for linked wireframes - Track development progress - Trace the specification into the source code And it’s a team player: - System Maps can be exported to MS Word or as image - Freemind is very tightly integrated since it’s a great decomposer as well

This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.

JAVA Program to Sequence Diagram Generator. This tool tries to help on analysing and understanding the behavior of the code when developping JAVA applications by generating the respective Sequence Diagram automatically at program execution.

Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.