Search Results for "java security for linux" - Page 3

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and...

A MOF 2 for Java is an implementation of the new OMG MOF 2 Recommandations. It provides an enhanced JMI interface to utilize new Java features, such as generics, and new MOF/UML features, like property redefinitions and subsettings.

Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.

In two words, Active is to eat the beans. In three, Active is JavaBeans for application : how an application can know herself, how beans can form an application.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.

The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.

This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.

Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...

Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.

is a loadable application for the jrc-framework, that helps managing db schema. Support for scanning of db-schema, export/import to/from XML, creation and versionizing of db-schema. Column-Definitions are domainbased and the GUI supports drag&drop.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

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

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

JDynA is a JAVA library for the management of persistable object properties in a dynamic fashion. The structure of domain objects can be modified by adding, removing or altering properties, also via web UI, without need for any change in the database.

Patternity is a framework to build tools upon it. Its meta-model is augmented with patterns, enabling tools to work at a higher level, closer to the way you think. The goal is to to create patterns-aware tools to automate more of your work.

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

AgilPro is an Eclipse based business process modeling suite providing a Business Process Modeler [LiMo - Light Modeler], a desktop application to preview and run processes [Simulator] and Application Adapters to plug in standard apps: Firefox, OpenOffice

Yaoqiang XPDL Editor (YXE) is a graphical editor for workflow process definitions, compliant with WfMC specifications( XPDL 2.1 and 1.0 )