Topic: "formalism-driven-development"
rafaelmelomacieira/Tempo-Model-DSL
Domain-Specific Language for modeling and runtime verification of temporal properties in embedded system communication protocols.
Language: Java - Size: 7.15 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
yepengding/Seniz-GUI
Seniz GUI provides a graphical user interface for Seniz.
Language: TypeScript - Size: 479 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
yepengding/Seniz
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
Language: Java - Size: 897 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
yepengding/Seniz-Web
Seniz web service to support Seniz GUI.
Language: Java - Size: 3.44 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0