Formal
Advertisement
Overture: Formal Modelling in VDM v.1.0
The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method).
Advertisement
Dancing bug
News, feature articles and reviews, lessons, and questions answered. A musical keyboard is the set of adjacent depressible levers or keys on a musical instrument, particularly the piano. . Music lessons are a type of formal instruction in playing a
VK TypeHelp v.1 4
VK TypeHelp serves writers in repetitive tasks: input of long words or standard phrases and in recovering lost pieces of text. It is of special value for input of formal language text, and in technical and commercial writing.
ACARS Dispatch v.2 2
The ACARS Dispatch Client is the Dispatch end of a complete system that can be used for both formal and free-format message and file exchange between simulated airplanes and ground stations. It is easy to install and easy to manipulate.
S and H Screensaver v.1.0
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism,
Engroup v.1.5.1
Engroup is a information, knowledge center and communication tool for groups and companies. Engroup promotes both informal and formal communication by combining various communication methods like private message (one-to-one, simple protocol),
GINsim v.2.4 Alpha
Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. GINsim is a utility supporting the definition, the simulation and the analysis of regulatory graphs.
Jinx v.1.8
Jinx can help you to analyze 3D data sets, is for 3D electron microscopic data sets produced using electron tomography, but may be used for any aligned 3d data set.Jinx contains the facility for annotating 3D microscopic data using formal ontologies.
QuickRev v.1.6.0
QuickRev is a code review tool which supports formal code review processes for Subversion and ClearCase controlled files.
3DPageFlip Flash Catalog Templates for Dinner Table v.1.0
Setting a beautiful table is not difficult, nor do you need expensive tableware or silverware.
Cataquavice Framework v.1.0
A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS).