Giter Club home page Giter Club logo

ITEA-ModelWriter Project's Projects

alloyinecore icon alloyinecore

Embedding of First-Order Relational Logic into Meta-Object Facility

deal icon deal

Successful built of DeAL (GC Assertions) on x86_64-linux

deliverables icon deliverables

Project Monitoring, Tracking, Communication Management and Infrastructure

klee icon klee

KLEE Symbolic Execution Engine

kodkodz icon kodkodz

A fork of Kodkod solver with Z3 Theorem Prover back-end for Relational Logic

requirements icon requirements

User Requirements Document (URD) and Software Requirements Document (SRD)

semanticparser icon semanticparser

Work Package 2 - Semantic Parsing and Generation of Documents and Documents Components (LORIA)

smtlib-mode icon smtlib-mode

An Emacs major mode to edit and run SMTLIB v2 files

source icon source

Federated Source Code Repository of ModelWriter project

tarski icon tarski

A Platform for Automated Analysis of Traceability (WP3)

uc-tr-03 icon uc-tr-03

UC-TR-03 Synchronization of ReqIF/Clafer models from requirement

uc-tr-04 icon uc-tr-04

UC-TR-04 Requirement Engineering for System Modelling

uc-tr-05 icon uc-tr-05

UC-TR-05 Synchronous Business Process Design with Use Cases

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.