Search Results for "c-free"

...ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ...

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams.

Olympos is an holistic MDA/MDD approach to projects. It allows to create Web (PHP, J2EE), Desktop (c#) and Mobile applications (.NET, J2ME) from a UML model. Features a Web 2.0 IDE, a generator based on openArchitectureWare and several cartridges.

Collection of reusable componentized Design Patterns implemented in Java. The implementations will not be limited to those from GoF. Long term aim is to provide a full catalog of Software Engineering best practices in Java along with show case demos.

Structorizer is a little tool which you can use to create Nassi-Schneiderman Diagrams (NSD). Stuctorizer is written in Java and free for any use. The code has been moved to Github: https://github.com/fesch/Structorizer.Desktop

...Developers who use BIRT Designer are able to access information from multiple data sources easily and quickly in order to create reports and applications with stunning data visualizations. Actuate now provides a free report server, BIRT iHub F-Type, to deploy BIRT content so developers don't have to build their own infrastructure. With a flexible Open Data Access framework, developers can write custom data drivers to access data from any source, including Big Data sources like Apache Hadoop, Cassandra, and MongoDB, along with all traditional relational databases, Flat Files, XML data streams, and data stored in proprietary systems. ...

The objective of this project is to create a hybris accelerator for design and development of projects in an ecommerce suite.

TerraER is a free, open-source application that makes the understanding of data modeling much easier. The tool is addressed to academics, specially to support modeling database courses. Come to our web page to download TerrarER: http://www.terraer.com.br/index_en.html ---------------------------------------------------------------------------------------------- O TerraER é um programa gratuito, que facilita o aprendizado de modelagem de dados.

TagParser is a java parser based on CSS formulas (like JQuery) and can parse any documents based on tags such as XML, HTML. Furthermore, it doesn't require documents to be well formed and can parse complex documents with embedded scripts or CSS parts

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Objetivo de disseminar conhecimentos das diversas áreas de saber que envolvem o desenvolvimento de jogos independente de plataforma. The objective to spread diverse knowledge of areas to know that to involve the independent development of platform games

The Squidy Interaction Library eases the design of "post-WIMP" user interfaces by unifying various device drivers, frameworks and tracking toolkits in a common library and provides a central and easy-to-use visual design environment. www.squidy-lib.de

BANAL - Banal And Not A Language. A prototyping notation compatible with Java and C# (via the largest possible common footprint between the two).

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

KEManager models Knowledge Based Systems following a methodological approach ( Knowledge Engineering) for academical purposes of CommonKADS and IDEAL. It supports the viability test, some knowledge acquisition techniques and conceptual modeling.

A comprehensive set of business functionality and patterns The technology oriented frame-works provide solutions for a specific set of technical problems.BizSutras provides integrated implementation for all the identified business functions

This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

TreeDL (Tree Description Language) is a notation for tree structures used by programs (like syntax trees) and tool for translation of tree descriptions to target programming language, docs generation, etc. Tool's functionality can be extended by plugins.

Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard. It pretends to be the union between Violet and UMLet.

A collaboration web site for software engineers to find and contribute code. The goal is to have users of the system to be able to not only get code from the system but also be able to update and fix specific code segments.

This is meant to be a powerful, but easy to use math software. It's by the user and for the users.

Protoscribe converts pseudo English sentences in to Object Oriented code skeletons. It was developed to help teach object oriented design and as an experimental source code generator. Currently, C++ and Java code skeletons can be generated.