A simple and extensible behavioural testing library for Go. You can use api test to simplify REST API, HTTP handler and e2e tests.

A tool written in Go to build Sequence Diagrams and more UML - in Go

Draw sequence diagram in text from terminal.

A REST api demo project that generates sequence diagrams from tests

Sequence diagram generator with simple text based grammar, to make it quick and easy to share ideas and document your system. Copy to clipboard for sharing on chat, or export as .PNG.

Core components for generating reports with sequence diagrams

Collaborative notebooks with sequence diagrams and GraphViz

A collection of tutorials for creating UML diagrams using Umbrello 5. This repository aims to help users learn and master different types of UML diagrams through practical examples and step-by-step guides.

This is a design for a restaurant simulator. A fair bit of the restaurant simulator is up to us (the team) to design including the implementation as a pure simulation or as a "restaurant tycoon" game.

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

One year of Java learning and development journey with 8 personal and academic projects from console games to Enterprise Web applications

Gestió de videojocs.

Improving software writing content using various types of diagrams

js-sequence-diagrams playground to simplify diagram management.

A basic Course registration JAVA application with 3 versions including POS application, REST APIs and Dropwizard deployment

Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.

Game created game based on popular Space Invaders. The main purpose of creating the game was to write detailed specification and UML diagrams (Class and use case diagrams) for the product and then create application based on documentation.

Software requirement specification for Guya LTD Microservices project

Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models

Software modeling semester project