Search Results for "/storage/emulated/0/android/data/net.sourceforge.uiq3.fx603p/files" - Page 4

Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

MudMop, abbr. for Multi-User Discontinuous system MOdeling Platform, is an enterprise application framework, stands on modeling real world business which is discontinuous, and build business perspective data view and process operations to multi-users

Simulation too for assessing the availability of Peer-to-Peer storage schemes, such as Distributed Hash Tables, Bucketing, and Replication.

The SBeaVeR editor is an Eclipse based plugin that allows business modellers and analysts to create fact-oriented business models and rules based on OMG's SBVR standard. It is part of the DBE project.

The XMI Tools are a library for reading and manipulating XMI files. The main application is called XMI-Linker; it allows us to split UML models into several files.

Yop is an object oriented persistence API generator.It supports various programming languages such as PHP5 and Java.The goal of this project is to provide an easiest and fastest way to deal with persistence by using a simple XML object description format

SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

A visual Domain-Specific Language for Data Transformations, which generates programs for non-programmer domain-experts. The generated program will extract data from one source and converts it into a meaningful format defined by the user.

Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.

MEM Net - Mote EMulator Network. This project will focus on: 1) MEM - Wireless Sensor Node (mote) emulator 2) MEM Net - network of emulated motes So far, the only released package is “visual-sim-slides”. More comming next !

UMLet is an open-source Java tool for rapidly drawing UML diagrams, with a focus on a sound and pop-up-free user interface. Its homepage is www.umlet.com. v15.1 released on March 20, 2023.

Dbf2Ecore creates an EMF Ecore metamodel from .dbf files of a DBase database. The data can then also be converted to the EMF model.

A UI that displays a map that uses "wormholes" to navigate to a user's favorite locations. The map will display locations at scales as diverse as galaxies, planets, houses, living beings, internal organs, and even atoms and sub-atomic particles.

Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.

Fundamental Types is a library of immutable, thread-safe, highly concurrent, common domain model classes and associated formatters and taglibs.

Web 2.0 environment for collaborative and extensible design of object interconnection diagrams like UML, networks, circuits and other graph based diagrams. Client: Web-based (AJAX / Dojo Toolkit) Server: JEE Application (Struts Framework)

The xmi-utils eclipse plugin integrates the xmi-utils library into eclipse and provides a repository and other functionalities for other plugins. In addition it extends eclipse with some helpers for working with xmi files and repositories.

An eclipse RCP project for quickly and easyly to develop java project, for developer or designer. It includes some model definition about data, rule, flow. Of course, an IDE for them.

Entity Relationship Designer written totally in java (using Sun Java Studio) and based on Mogwai ER Designer. Includes ability to connect to several data sources including mySQL.

SG is an another next generation code generator which generates web-based java applications with Apache Cayenne RDBMS, Apache Struts 1.1, Displaytag 1.1 , AjaxTags support. It uses an excel user interface to gather beans and application data.