Open Hub
Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

MoTMoT (MDA Model Transformer)

Compare

  Analyzed about 4 hours ago

MoTMoT stands for Model driven, Template based, Model Transformer. It is a compiler (code generator) from visual model transformations to repository manipulation code. The compiler takes models conforming to a UML profile for Story Driven Modeling (SDM) as input and outputs JMI code. Since the ... [More] MoTMoT code generator is built using AndroMDA, adding support for other repository platforms (like EMF) consists of adding a new set of code templates (written in the template language of Velocity, Freemarker, ...). Transformations are stored as standard UML 1.4 (profile) models in the NetBeans MetaData Repository (MDR) to leverage its strong XMI import/export facilities. [Less]

56.7K lines of code

0 current contributors

almost 17 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: gpl
Tags andromda diagrams formal fujaba graph jmi mda mde modeling mof qvt refactoring 7 more...

TLA+

Compare

  Analyzed about 2 hours ago

Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.

361K lines of code

20 current contributors

10 days since last commit

1 users on Open Hub

Moderate Activity
5.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: mit
Tags checker formal ide language lexer model parser tla+

Hilbert II

Compare

  No analysis available

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: No declared licenses
Tags correct formal mathematic

fcalib

Compare

  Analyzed about 18 hours ago

FCAlib is an open-source, extensible library for Formal Concept Analysis (FCA) tool developers that implements the FCAAPI. It provides basic functionalities that are needed for building an FCA tool. It supports incomplete contexts and includes efficient implementations of basic FCA algorithms like ... [More] implicational closure, next-closed set, etc. It implements the attribute exploration algorithm in such a way that it can be used together with a custom implemented expert that supports FCAAPI. Javadoc for FCAlib can be found here. FCAlib is extended by OntoComPlib for using attribute exploration together with OWL ontologies. The following code segment shows how to create a formal context, add attributes to it, create an expert for this context, and start attribute exploration: // Create a formal context whose attributes are of type String, and whose objects have // identifiers of type String FormalContext context = new FormalContext(); // Create an expert for this context MyExpertClass expert = new MyExpertClass(context); // Add attributes to this context context.addAttribute("a"); context.addAttribute("b"); context.addAttribute("c"); // Set expert for this context context.setExpert(expert); // Context listens to the actions of the expert expert.addExpertActionListener(context); // Create an expert action for starting attribute exploration StartExplorationAction> action = new StartExplorationAction>(); action.setContext(context); // Fire the action, exploration starts... expert.fireExpertAction(action);The following code segment shows how to create a set of implications for the above context, add implications to it, and compute next-closure: // Create a set of implications for the above context. Attributes are of type String ImplicationSet = new ImplicationSet(context); // Create a new implication with empty premise and conclusion Implication imp = new Implication(); // Add attribute "a" to the premise imp.getPremise().add("a"); // Add attribute "b" to the conclusion imp.getConclusion().add("b"); // Add this implication to the implication set implications.add(imp); // Compute the next-closed set after mySet, and update mySet mySet = implications.nextClosure(mySet);For more examples please see the test package in the source. [Less]

24.8K lines of code

0 current contributors

9 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: gpl
Tags analysis concept fca formal library

fcaapi

Compare

  Analyzed about 4 hours ago

FCAAPI is an API for Formal Concept Analysis (FCA) tool developpers. It is an initiative to set standards for FCA tools for better interoperability. FCAAPI is implemented by the open-source library FCAlib. Javadoc for FCAAPI can be accessed here.

12.8K lines of code

0 current contributors

9 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in JavaScript
Licenses: lgpl
Tags analysis api concept formal

spark2014

Compare

  Analyzed about 17 hours ago

SPARK is a software development technology specifically designed for engineering high-reliability applications.

214K lines of code

16 current contributors

2 days since last commit

0 users on Open Hub

Very High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Ada
Licenses: gpl3
Tags ada2012 formal verification