Search Results for "model based testing tool"

StatsWithJuliaBook is the companion code repository for the book Statistics with Julia: Fundamentals for Data Science, Machine Learning and Artificial Intelligence. It contains over 200 code blocks that correspond to the book’s ten chapters and three appendices, covering topics from probability theory and data summarization to regression analysis, hypothesis testing, and machine learning basics. The repository is designed for Julia users and provides ready-to-run examples that reinforce...

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.

Web-based tool to enable students to engage in Peer Testing during programming assignments

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

Assignment Collector/Grader (what a mouthful!) was conceived in 2010 as a way to reduce the workload of an over-worked professor teaching a CS data structures class. It proved not only to reduce the grading workload, but also improved the lab completion rates among students, and grades overall improved as a result. Since it has turned out to be such a successful tool, it is now released under the AGPL license for others to use in their classrooms. Planned improvements include: automatic...

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

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.

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.