Search Results for "android program source code"

...There beige-uml-swing-[VERSION]-jar-with-dependencies.jar is Swing application and beige-uml-android-[VERSION].apk is Android application. Android version you can find also in Google Play Store. Its source code you can download at https://github.com/demidenko05/beige-uml Source of beige-android-demo (demo of Android tree/file-chooser, list-chooser etc.) still here.

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

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)

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.