Search Results for "open ssh windows" - Page 9

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)

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

vipera is a designer of applications for the programming language Python. It has two main objectives: 1) The design of an application from an educative point of view, paying special attention to the documentation and design of classes. 2) The automatic generation of base code for software projects. vipera is a combination of basic tools for the design of applications in the early stages of development, allowing the creation of modules (libraries) and definition of their basic...

Provide a testbed to play with pagerank-like algorithm on graph. You can easily add vertices, edges, save the graph for reuse, etc. For now, only Pagerank is implemented, but in the future, other algorithms will be added.

Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings. The workflow tool is an extension for the open source Eclipse programming tool from IBM. This workflow tool has been integrated into the dotSource Studio. It consists of 8...

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.

Head First Design Patterns translated to C++. Three separate translations are planned: 'Bronze' is literal; minimal (syntax) changes only. 'Silver' is semantic; more C++ idioms + leftover patterns. 'Gold' is (forthcoming and) modern; template based

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

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

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/.

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.

Architectural Models and Views (AMAV) is a set of tools to manage architecture models and create architectural views.

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

Mosquito is an open source Java library for parsing Power Designer PDM files and converting them to the in-memory structure based on object model provided by this library. It is quite useful for relational model based code generation.

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-

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.

components4oaw delivers workflow components which are commonly used within the MDSD framework openArchitectureWare.

OOP PHP class for MySQL access and management. Clase PHP orientada a objetos para el acceso y gestión de datos MySQL. Documentación en línea en http://www.jorgefm.com/dBdd.php English documentation will be available soon!

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.

XACML-Studio is an authorization policy editor implemented as a web application that allows importing, creating, editing, exporting policies defined in XACML 2.0 specification. Intuitive UI and DB-based repository improves policy creator's experience.

YAW is a tool to transform uml to source files and generate source files from templates. This allows a model driven development (MDA/MDD). YAW is written in java as a plugin for eclipse. Use and extend of YAW is simple and without complex configuration.

cxUML is a UML/MDA platform for Microsoft Windows, licenced under a modified version of GNU GPL, mostly written in C++/Qt

Maya plugin that combines useful skinning, smoothing, computational geometry and conversion tools. Also includes advanced C++ utility library.

This package can be used for further development of package needs to deal with 3D geometrical relationship. It provides class for Vector, Point, Coordinate, transformations and also provides functions for dealing with relationships between them.

Antares DSM is a software to manipule all types of DSMs (see more about DSM in www.dsm.org). In Antares DSM is possible create, see, and execute functions to optimize the DSM projects.