Semantisys

"Transforming Institutional Knowledge Into Operational Change"

Home

Mission

Capabilities

BPM

Data Architecture

Enterprise Architecture

Formal Methods

GIS

Information and Knowledge

Model Driven Architecture

Semantic Technologies

SOA

Software Lifecycle

Web 2.0

Web 3.0

Employee Portal

Contact

About Us

 
Formal Methods
 Home > Capabilities > Formal Methods

 AbacusFormal Methods refers to the use of mathematical techniques for the specification, development and verification of software. As with other engineering disciplines, the use of rigorous mathematics analysis in the design and construction of software engineering artifacts can be used to prove the correctness of software at each stage of development. Application of Formal Methods requires the discovery and development of a Formal System of equations, logic or mathematical relationships which can be used to model and test the software solution created to solve a particular problem.

DataUse of Formal Methods is often limited due the large amount of specialized com-puter and mathematical talent required. Semantisys is partnered with a pioneer in the field of Formal Methods who supplies a general Formal System which can be used to automatically generate any type of application software. Our partnership supports a Formal Method methodology for system engineering and software development. It is a hierarchical, functional and object oriented network modeling technique based upon a unique concept of control. It is used to specify, prototype and develop systems of arbitrary complexity and size (for both database driven and real time distributed environments). The system has properties of built-in quality and built-in productivity that support its own development. By modeling the behavior and structure,  the application system  inherently models its own  `life cycle'.  Semantisys is  currently prototyping an Energy Infrastructure,   Robotics Sensor System and Electronic Medical Records
using Formal methods.




Copyright, Semantisys Inc., 2009 All rights reserved.