There are 0 repository under sequence-diagrams topic.
A simple and extensible behavioural testing library for Go. You can use api test to simplify REST API, HTTP handler and e2e tests.
Draw sequence diagram in text from terminal.
A REST api demo project that generates sequence diagrams from tests
Core components for generating reports with sequence diagrams
Software Projects with design pattern and using OOP design principles and care about SOLID principles using Java
A basic Course registration JAVA application with 3 versions including POS application, REST APIs and Dropwizard deployment
Software modeling semester 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.
Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
GestiĂł de videojocs.
Improving software writing content using various types of diagrams
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.
UML Parser is reverse-engineering Java Project which creates UML class diagram for given set of classes.
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.
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
Katas is a live online event where teams work to solve a real-world software architecture problem. So team gets the chance to flex its skills (and gain new ones). This is a rare opportunity for a team to work together to practice its craft in a safe, social, interactive environment.
A game built using Java and playable on the terminal
system architecture: UML
Xtext language specification for PlantUML sequence Diagrams
HIBOU for typed message passing
đź’‰Online Laboratory, Software Engineering course, University of Tehran
Implementation of Project Management System using Use Case, Entity Relationship(ER) , Class, Sequence Diagrams and Database Design.
Progetto finale per il corso di Ingegneria del Software tenuto da Anna Rita Fasolino (22/23)