kasonchan/Interface
This is an middleware application of Management of Workflows using Functional Representation.
This project is a library database with MIPS that is structured as a Binary Search Tree (BST)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
This is an middleware application of Management of Workflows using Functional Representation.
This repo contains the Formal Verification of the Matrix Calculator Android Application.
This repository contains implementation of Matrix Calculator Model-based Testings for the Matrix Calculator, Multi-threaded Android Application, written in Scala with Eclipse, Android SDK, ADT, AndroidProguardScala and Robotium.
This repository contains implementation of Matrix Calculator Functional Tests for the Matrix Calculator, Multi-threaded Android Application, written in Scala with Eclipse, Android SDK, ADT and AndroidProguardScala.