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
Logic Minimizer
Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital
Amigos Spanish Puzzles (Mac version)
Learn Spanish vocabulary using various word games and puzzles. Fun and easy to use. Words are grouped into categories for easy learning. Amigos Spanish Puzzles also provides a great variety of games and puzzles for a less formal learning environment.
DeepForm
DeepForm is an essential tool for an analyst. By using DeepForm it is possible not only to create a formal description of business data but also their "software" modelling. With DeepForm the business analyst can create artifacts that will be immediately
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
Pizzicato Light v.3.6
Teach yourself music theory and start using a music software. Write and print small scores with the mouse or through a music keyboard connected to the computer. Hear the score playing. It is a perfect companion to a formal music course in school.
CAPP v.4.0
Oriented to the DSM-IV-TR, PsychProfiler provides an accessible and affordable screener that can be used in the early identification of disorders crucial to formal diagnosis, intervention and prevention of further mental health problems.
E-Mail Commander v.1. 4. 2007
Email Commander is a small and portable application that does not require any kind of formal 'installation' onto a computer's permanent storage device to be executed, and can be stored on a removable storage device such as a USB flash drive and used
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,