Formal

Project Initiation. Determining project goals, determining deliverables, determining process outputs, documenting constraints, documenting assumptions, defining strategies, producing formal documentation. Project Planning. Refining a project, creating a WBS, developing a resource management plan,...

FluentEditor for OWL is comprehensive tool for editing and manipulating complex ontologies using Controlled Natural Language. Fluent editor provides alternative to XML-based OWL editors that is better suitable for human users. It's main feature is using Controlled English as a knowledge...

The pre-release version of the Microsoft Advertising SDK for Windows 8 offers developers a great way to monetize apps written for this new paradigm. Microsoft is focused on helping Windows 8 developers monetize their applications in a variety of ways, one of which is advertising. The purpose of...


Platforms: Windows, 7x64, 832-bit, 864-bit

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 musical instrument or singing Typically, a...


Platforms: All

Where other modeling languages and diagramming techniques struggle being too complex or too abstract for a non- IT user, the Business Process Modeling Notation promises remedy. From early on, itp-commerce felt the urge to have an uniform tool for business process modeling and have therefore...


Platforms: Windows

SqlDbx is a fast and easy to use database SQL development IDE for database administrators and application or database developers who work in heterogeneous Database Server environments. SqlDbx built around an advanced SQL Editor and Database Object Explorer. SqlDbx provides a consistent user...


Platforms: Windows

Simple Server-side component-oriented MVC Java Web Framework alternative to JSF, Wicket, Tapestry, Click etc. The framework consists of a compiler and the runtime. The HybridJava language is strictly defined by a merge of Java and HTML formal grammar and extends Java semantics throughout markup....


Platforms: Windows, Mac, Linux

SqlDbx Personal Edition is a useful and free version of Professional Edition for personal non commercial use. It differs from Professional Edition only by allowing to connect to only one Database Server at a time, otherwise both versions identical. SqlDbx built around an advanced SQL Editor...


Platforms: Windows

IvmaiAsn ASN1/ECN/XDR Tools. A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encodings.


Platforms: Windows, Mac, Linux

Jyntax is a simple, easy-to-use, light-weight syntax highlighter for Java. It is designed for applications providing JTextComponents that should be enriched with syntactical highlighting and works best for formal (logical or mathematical) input.


Platforms: Windows, Mac, Linux

Linear time, dynamic API for lexical analysis and parser generation. Allows for a text-based specification of formal languages with the well-known regular-expressions approach, and using Parsing Expression Grammars as the underlying engine.


Platforms: Windows, Mac, Linux

MGFp is open parser implementation for the Mascot Generic Format (MGF). It uses bison/flex to define a formal grammar and provides the necessary C++ adapter classes. The software is provided under a BSD license. Development on SF.net has ceased. You can find the project at...


Platforms: Windows, Mac, BSD, Linux

This project provides UML extensions to JGraph (http://www.jgraph.com), a XMI (http://www.omg.org/technology/documents/formal/xmi.htm) doclet for Javadoc (http://java.sun.com/j2se/javadoc/), and XMI to SVG/PNG converters.


Platforms: Windows, Mac, Linux

A perl script to analyze Usenet postings. It can be extended using simple modules. There is a module already included that statisticallyanalyzes the postings for formal mistakes like jeopardy-style postings,broken quotations by OE and similar things.


Platforms: Windows, Mac, Linux

Metadata Export for iPhoto is an export plugin for iPhoto 6 which allows you to export metadata about your iPhoto library photos, including: * Comments - comments about the photo. * Dates o Archival Date - Archival date of the photo. o Creation Date - Creation date of the photo. o...


Platforms: Mac

Spanish language packs for Joomla! 1.0.x frontend. Spanish language for Joomla! 1.0.12 in 2 versions (ISO Joomla 1.0.x standard Installation) less formal "tu" (spain and latin america) and formal "usted" (Latin america - less used in Spain) available. Also UTF-8 versions available for customized...


Platforms: Windows, PHP,

Gladius DB is a fast and efficient PHP flatfile database engine written in pure PHP; its SQL syntax is compatible with a subset of intermediate SQL92. You will not need any specific extension to have it work, and it is bundled with an adoDB lite driver. This project is licensed under the GNU...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages,...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

PHPAdventure! is a web-based interactive fiction (text adventure) engine written in PHP. Taking advantage of the web as a medium, PHPAdventure! has discarded the parser which formed both the groundwork and the Achilles' heel of traditional IF systems. Since the system is currently in alpha-state,...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

PBOS is a web-based book-annotation system that lets authors add books to read, and readers markup the books with notes, links, bookmarks, and other annotations. It lets readers share their annotations or keep them private. Written in php w/some perl. PBOS (Processed Book Operating System, or...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris