Search Results for "ocl"

...The Package does not, by itself, provide parallelization of higher numerical methods (like BLAS or LAPACK). The Package is also available from the corresponding Octave Forge webpage https://octave.sourceforge.io/ocl/index.html. More information on GNU Octave can be found at https://www.octave.org.

This is a freedom software and it obeys opensource initiative. The main purpose of this project is to bring extra updates to the existing Octave OCL project with more supporting PC devices like Intel GPU, AMD APUs, and Apple Silicon GPU as well as mobile devices like Qualcomm Adreno and ARM Mali GPUs. Due to the fact tremendous time and energy has been spent on its working on many devices, the project name is changing to AnyArray to reflect it is really working on many devices in 9 March 2026. ...

USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/

This program paints several fractals in a GUI (Qt 4). It uses OpenCL or a fallback to CPU if OpenCL is not available. You can save the displayed fractal as a Windows Bitmap.

MCore is a freely available, open source tool to - analyse your business problems both in diagrams and tables - design and implement solutions using a tabular interface, similar to a business rule editor - build, deploy, and operate your business in a tailored generated solution looking like a simple excel sheet, but behaving like a full scaled business software. MCore is based on XOCL which is a combination of Eclipse Frameworks EMF and OCL to define DSLs, e.g. to add static and dynamic semantics to models. It is available - as full Eclipse prooduct at: https://sourceforge.net/projects/lde-release/files/Release/ - as update site for Eclipse Neon.3 at: https://sourceforge.net/projects/xocl/files/ Builds and fixesx are done weekly throughout 2019, if the published build is older then 14 days, please contact to get a new one! ...

ParTeG (PARtition TEst Generator) handles UML state machines, UML class diagrams and their OCL expressions. The OCL expressions are evaluated to find input parameter partitions. The boundaries of these partitions are used to generate test cases.

...Studies on accesing Leapmotion and Kinect is still under-development. 2- Machine learning: It uses Weka Software tool and some personel coded ML algorithms 3- CMatrix: Special matrix library called as CMatrix meaning Cezeri Maztrix Class. Actually it is regarded as the core of the OCL. CMatrix supports fluent interface and method chaining.

This project aim at generating test cases using UML class diagram and state machine annotated with OCL constraints. We transform input UML model and it's constraints to AMPL system. Then try to solve mathematical system using state of the art and powerful constraint solvers.

The purpose of this project is creating test cases from uml statemachine and Class diagram with OCL constraint. We use forward search strategy to creating abstract test cases and using genetic algorithm for creating test data.

An Eclipse plugin that performs a translation from a UML model with OCL restrictions to Java classes with JML annotations.

OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.

Alloy2OCL is a prototype for translating Alloy Specifications to UML Class Diagrams and OCL. A new version is available for download at the project website: http://sourceforge.net/projects/alloymda

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

C++ portable library designed to be used on 32/64-bit operating systems, as a series of header files, which can be included separately, or all together as a complete library. Memory manipulation, file handling, data types, etc. visit cppocl.co.uk. The status of this library will only be kept up to date on cppocl.co.uk. I have abandoned using Source Forge for access to the source code, and am currently not making development of the library available for open source, although this might...

Jostle (JOCL) is a Java implementation of the OCL Specification.

During my diploma thesis I developed an extension for the MySQL-Client using OCL-Invariants for constraint checking.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.

The UCL MDA Tools are lightweight Model Driven Architecture tools developed at University College London. They include a JMI generator implemented using the velocity template engine, an OCL type checker, and a parser for textual MOF models.

Octopus is a plugin for Eclipse provides an IDE for OCL 2.0 and UML. From a combined OCL / UML model a fully working prototype can be generated. Octopus can import XMI from various UML tools. Octopus means OCl TOol for Precise Uml Specifications.

XASM and XOCL consolidate the mathematical language ASM and imperative extensions to the OMG standard OCL. In XOCL we now have update annotations, which allow to create with OCL one set of updates. We consequently will create a prototype of XASM as a language that allows to calculate XASM Style fix points over updates. It will have the same language design as the original XASM by Matthias Anlauff

OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)