Search Results for "c:\program files\micronetics\msmws\program\"

Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal program in a language like Java, and add modeling constructs in very small increments, gradually moving their system from a code-centric system from a model-centric system. ...

...Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

Blueprint Builder is an integrate environment for development the blueprint documents. Blueprint is a technology for designing : 1. structure of program 2. process of development 3. business processes The technology is compatible with Rational Unified Process Articles about Blueprint in english and ukrainian reveals the major moments of the using Blueprint technology. Examples of the using technology includes the blueprints of MultiText Editor, Blueprint Builder and Neutrino (Java library for text editing) The program costs $500. ...

Program creates the database table diagrams from databases metadata.

The Tag Cloud Maker application allows the specification of a source folder containing files that are parsed and the words counted and displayed in an HTML word tag cloud.

..."Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment.

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)

We are planning to develop a higly useful program to learn english words in a nice and easy way.

Introspection JAVA is a student project, where we have to do a Program to discover others JAVA Programs. We are from ENSISA (High School diploma in France) for this project.

TranslateCIM is a program that translates DMTF CIM MOF files into Java source files.

this project want to be a must program: with this software many people can modelling a UML Diagram at the same time!!

ArchMapper is a Tool for mapping architecture descriptions of a program to a Java implementation. It offers two main functions: Generating Java source code stubs from an architecture and checking a Java implementation for conformance with an architecture

A plug-in for Eclipse that allows users to debug programs using UML models in order to detect regions of divergence between the model and the program.

ActivityScript takes an activity diagram (created with a UML tool) and executes it's contents. The content of Activity boxes are executed, the Guards of a Decision box are evaluated to control program flow and Fork boxes initiate new threads.

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.

Agile Source Safe is a software development life cycle program.

JSeq is a tool to automatically create UML sequence diagrams. It works by following the execution of a Java program, noting each method entry and exit. It then generates a sequence diagram from this information.