https://dranidis.github.io/projects/Recent content in Projects on Dimitris DranidisHugo -- 0.152.2en-usSun, 12 Nov 2023 19:22:34 +0200https://dranidis.github.io/projects/jsxm/Sun, 12 Nov 2023 19:22:34 +0200https://dranidis.github.io/projects/jsxm/<p>JSXM (<a href="http://jsxm.org/">http://jsxm.org/</a>) is a model-based testing tool developed in Java. One needs to provide a model specification of a system and the generated test cases reveal all functional inconsistencies in the implementation of the system.</p> <p>The tool provides the following functionalities:</p> <ul> <li>Model animation</li> <li>Test generation</li> <li>Test transformation</li> </ul> <h2 id="model-animation">Model animation</h2> <p>Animation of the model means execution of the model or simulation of the modeled software. Interactive or batch animation allow the model designer to validate the specification, i.e. ensure that the correct functionality is modeled.</p>https://dranidis.github.io/projects/studentuml/Sun, 12 Nov 2023 19:22:34 +0200https://dranidis.github.io/projects/studentuml/<p>StudentUML is a UML diagram tool for students. The main characteristics of the tool are:</p> <ul> <li>simplicity</li> <li>consistency checking</li> </ul> <p>The tool has been developed by several CITY college students and then maintained and further developed by me.</p> <p>StudentUML is written in Java as a Swing desktop application. Prolog is used for declaring the rules for consistency checking.</p> <h2 id="download-studentuml">Download StudentUML</h2> <p>StudentUML can be downloaded from <a href="https://github.com/dranidis/studentuml">github</a>.</p>