Search Results for "source code computer" - Page 4

Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2.

Sets Imageplane for your Autodesk Maya scene file, for the 3d Model you are working on. You must have this code in the shelf button : try: reload(setimgpln) except NameError: import setimgpln

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

Some code collected from my old UML/Dot project with a view to submitting it to the Umple project. Just draws an UML class diagram using GraphViz.

...That is not really a feature :-) but to those of you able to cope with this news I suggest to read further; * Petri Nets are created with PetriNetExec by writing Java code and using the provided API; * PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing. * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source.

O SIAL é um Framework criado e mantido pelo ICMBio que tem por objetivo o desenvolvimento de suas aplicações. Suas principais características são: * Estrutura bem definida * Forte delegação de responsabilidade entre as camadas * Flexibilidade para adoção e substituição de componentes externos * 100% coberto por testes unitário * Facilidade para detecção de erros * Concentração na abstração de soluções para problemas em comum * Otimização de recursos...

This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.

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)

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

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 individual Java projects, which together form the WorkFlow tool. They logically can be subdivided in core components and graphical elements. About dotSource Labs and Sourceforge, we provide the open source code to interested parties. ...

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.

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.

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

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.

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

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.

A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.

PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.

This project has been forked to DoUML: Go to https://sourceforge.net/projects/douml/

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.

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

NexJ Scheme is an open source project providing an efficient and powerful Scheme interpreter that executes in a Java Virtual Machine.

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.