Search Results for "model based testing tool"

The DkIT Bridge Designer will provide you with a realistic introduction to engineering through an authentic, hands-on design experience. This software provides you with the tools to model, test, and optimize a steel highway bridge, based on realistic specifications, constraints, and performance criteria. Supported by Dundalk Insititute of Technology and All-Island Funds, this is a virtual bridge designer that allows kids of all ages learn about engineering and compete with their classmates!

This tool allows the user to annotate by coloring portions of the text. This can be seen as a simple model of annotation. This tool has been built to complete particular experimentation on student behavior (annotation per example) facing particularly difficult content. We put it here as an open-source project.

JStencilReport (or Java Stencil Report) is designed to write student evaluations and school report, in a fast way by a set of user-inserted sentences. It has a small vector graphics editor to create a full customizable print model that allow to print or export in PDF and Post Script your report. It allow also to export form in CSV format.

National Training and Education Resource. Full featured online Learning Management System. NTER allows educators to create classes in SCORM format without programming. Classes can contain images, video, tests and reports. Students can interact with instructors and other students. The NTER project was designed as a low cost tool for providing workforce education and training, with the expectation that the open source community would assume its operation. The Department of Energy (DOE) is...

Java library for Relationship Based Access Control (ReBAC). Provides a general framework creating ReBAC policies and model checking. Also provides tools for testing. Obtain latest version as a Maven Dependency: <dependency> <groupId>ca.ucalgary.ispia</groupId> <artifactId>rebac</artifactId> <version>0.1.7</version> </dependency>

Program based on created BPMN 2.0 Cloud extension. It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level.

Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org

Extensions to NModel enabling model-based testing of systems implemented in Java or other languages.

Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.

A tool based on the model proposed by Bellman & Zadeh (1970) fuzzy logic (fuzzy sets) decision support paper. The first version of the application was developed in Java (pure java + jgoodies and some other APIs). Now it is being rewritten using nebular, a pure Java fuzzy API.

EM Demonstration is a little tool for Physics teachers and students that helps model electric fields in flux lines as well as draw equipotential regions. Simply put, it is a classroom demonstration/modeler. Please help support us and donate.

Yet Another Database Designer - the goal of the project is to develop a tool for designing relational databases. YAD_Designer is based on the entity relationship model (see Chen et al.) and is targeted on the use in educational environments.

Quati is a free simulation tool which aims to simplicity and clearness, for those who want to build models based on discrete events. This kind of model can be applied in manufactoring, transports, logistics and hospitals, for example.

Phono is a software tool for developing and testing models of regular historical sound change. For this purpose, a model consists essentially of an ordered set of sound-change rules. Phono reads the makeup of the rules and their order from a data file.