Content deleted Content added
Introducing Software modeling language category |
add hyperlink to the tool PlantUML |
||
Line 83:
*[http://www.eventhelix.com/eventstudio/ EventStudio – Message sequence chart generation tool]
*[http://www.doc.ic.ac.uk/ltsa/ LTSA] – Supports the drawing and subsequent [[Formal verification|automated verification]] of message sequence charts.
*[http://plantuml.com/ PlantUML] – Versatile UML sequence diagrams based on text description.
*[http://scstudio.sourceforge.net Sequence Chart Studio] – Extends [[Microsoft Visio]] to draw and verify Z.120 compliant sequence charts.
*[http://trace2uml.tigris.org/ Trace2UML] – Tool for drawing and recording sequence charts.
|