Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Emftocsp

Bounded verification of UML/OCL (or EMF/OCL) models
Stars
12
License
epl-1.0
Open Issues
11
Most Recent Commit
6 years ago
Programming Language
Java
Categories
Repo
Alternatives To Emftocsp
Select To Compare
Tui.editor ⭐ 16,606
🍞📝 Markdown WYSIWYG Editor. GFM Standard + Chart & UML Extensible.
dependent packages 170total releases 38most recent commit 3 months agonpm tui-editor} Downloads
Plantuml ⭐ 9,158
Generate diagrams from textual description
dependent packages 4total releases 6most recent commit 3 months ago
Kroki ⭐ 2,488
Creates diagrams from textual descriptions!
total releases 49most recent commit 3 months ago
Nomnoml ⭐ 2,379
The sassy UML diagram renderer
dependent packages 47total releases 38most recent commit 7 months agonpm nomnoml} Downloads
Gaphor ⭐ 1,592
Gaphor is the simple modeling tool
dependent packages 1total releases 84most recent commit 3 months agopypi gaphor} Downloads


Suggest An Alternative To EMFtoCSP
Popular Software Architecture Categories
Mvc
Dependency Injection
Mvvm
Domain Driven Design
Flux
Mvp
Design Pattern
Distributed Systems
Cqrs
Viewmodel

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Uml
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.