scxmlcc - The SCXMLCC to C++ compiler
The free to use, open source toolkit YAKINDU Statechart Tools (SCT) provides an integrated modeling environment for the specification and development of reactive, event-driven systems based on the concept of statecharts.EditingYakindu Statechart Tools (SCT) feature an intuitive combination of graphical and textual notation. While states, transitions, and state hierarchies are......
Software and hardware systems contain faults. One important technique to detect faults is testing. With the spread of model-based development, models became also important for testing. In model-based testing, test models are used to generate test suites (semi-)automatically. Although the technique of model-based testing is some years old, there is......
Ragel is a finite-state machine compiler and a parser generator targeting C, C++ and ASM. It can recognize byte sequences and execute code at arbitrary points in the process.POTENTIAL USESWriting robust protocol implementations.Parsing data formats.Lexical analysis of programming languages.Validating user input.FEATURESConstruct finite state machines using:regular language operatorsstate chart operatorsa scanner......
WorkflowEngine.NET - component that adds workflow in your application. It can be fully integrated into your application, or be in the form of a specific service (such as a web service).The benefits of using WorkflowEngine.NET:- Designer of process scheme in web-browser (HTML5)- High performance- Quick adding to your project workflow-......
JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems. In addition to constructing and testing examples for these, JFLAP allows one to experiment with construction proofs from one form to another, such as......
LMS Imagine.Lab AMESim is a simulation software for the modeling and analysis of one-dimensional (1D) systems. The software package offers a 1D simulation suite to model and analyze multi-domain, intelligent systems and to predict their multi-disciplinary performance. Model components are described using validated analytical models that represent the system’s actual......
Need to test a deterministic finite automaton for an upcoming course assignment, or just curious? Then you've come to the right place! DFA Tester is a simple and intuitive application to build and test deterministic finite automatons.......
About | Terms |
About UsContact Us | TpSort ScorePrivacy PoliceDMCA Policy |
© 2015-2016 www.tpsort.com, Inc