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

No description provided.

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

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

Gestió de videojocs.

Improving software writing content using various types of diagrams

Software requirement specification for Guya LTD Microservices project

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.

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.

virtual time-based extension to the GenServer behavior that allows testing time-based processes and actor systems without waiting

Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.

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

Just Another Sequence Diagrammer

UML Parser is reverse-engineering Java Project which creates UML class diagram for given set of classes.

HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

Request/Response interceptors for living sequence diagrams via Yatspec

A game built using Java and playable on the terminal

Software Projects with design pattern and using OOP design principles and care about SOLID principles using Java

Progetto finale per il corso di Ingegneria del Software tenuto da Anna Rita Fasolino (22/23)

system architecture: UML