Full access to Enterprise features. No credit card required.
What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
Try ServoDesk for free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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.
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included.
Some of the strengths of UCGN:
- Clearly readable source-code
- Separation of functionality and parameters ("tunable parameters")
- Robust data storage (compile-time static structures in favor of pointer run-time constructs)
-...
PetriNetExec a library for embedding Petri Nets into Java applications
...That is not really a feature :-) but to those of you able to cope with this news I suggest to read further;
* Petri Nets are created with PetriNetExec by writing Java code and using the provided API;
* PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing.
* PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it....
TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.
The class libraries here provide infrastructure for creating simulations of low energy nuclear physics experiments, as well as some useful working programs that do simple simulations and analysis of experiments performed with magnetic spectrographs.
drawcode é um plugin do eclipse para edição de diagramas de classe e NS(Nassi & Shneiderman), com a possibilidade de gerar código a partir da associação destes 2 tipos de diagramas.