Search Results for "model-builder"
Sort By:
Showing 6 open source projects for "model-builder"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
1
Bash Command Builder
A simple Bash IDE / Debugger
Bash made easier: A simple IDE / Debugger for writing, debugging, and executing single commands and short scripts. If you are a struggling occasional user of Bash, or would be a user if it weren't so difficult to get started, then this program will help. Runs on Linux or Windows Subsystem for Linux. -
2
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
3
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
...The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts interacting with the model. This powerful feature can be used to automate validatation of distributed control flows, integrate with graphing infrastructure, etc. -
4
ProvErr
System Level Statistical Fault Diagnosis using Dependency Model
Code base moved to: https://github.com/Data-to-Insight-Center/ProvErr A statistical fault diagnosis tool that leverages an application's dependency model to automatically infer an o ending piece of software/system in event of failure -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.
-
6
A plug-in for Eclipse that allows users to debug programs using UML models in order to detect regions of divergence between the model and the program.
- Previous
- You're on page 1
- Next
