Search Results for "android program source code"

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

DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use...

More than just an entirely free Java code generator, It's also a development automation tool(Much more than a normal code generator). Maybe it can become your "black technology" will improve development productivity by 1.5 to 5 times, Zero coupling to your project and without changing anything. Normal code generator flow: Template → Source Code Jmr development automation flow: Template/Model/Action → Task → Source Code/Test Case/Document Template: Support Java Script(<%%> JSP-like) and Jmr Tag(set/get/for...) ...

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

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)

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

Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.