Coordinating complicated interactive systems, whether it's the different modes of transportation in a city or the various ...

We concentrate on systems of interacting actors and model such systems in UML. Sequence Diagrams of UML are the core notation for intuitive and formal description of interaction patterns. Topics of ...

Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your ...

Ipe is a versatile vector graphics editor designed for creating figures in PDF format. It's particularly well-suited for producing figures for inclusion in LaTeX documents and crafting multi-page PDF ...