[4diac-dev] GSoC 2020 - Coding phase

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[4diac-dev] GSoC 2020 - Coding phase

From: Sándor Bácsi <bacsi.sandor93@xxxxxxxxx>
Date: Mon, 1 Jun 2020 21:45:11 +0200
Delivered-to: 4diac-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/4diac-dev>
List-help: <mailto:4diac-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/4diac-dev>, <mailto:4diac-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/4diac-dev>, <mailto:4diac-dev-request@eclipse.org?subject=unsubscribe>

Hi,

I would like to inform you that I have started working on my GSoC project. The aim of this project is to implement OCL constraints and well-formedness rules in order to facilitate detecting model inconsistencies in 4diac models. You can find the details of the project on the 4diac Wiki page.

Cheers,
Sándor

Prev by Date: Re: [4diac-dev] Retiring the old FORTE C++ Exporter
Next by Date: Re: [4diac-dev] Retiring the old FORTE C++ Exporter
Previous by thread: [4diac-dev] Retiring the old FORTE C++ Exporter
Next by thread: [4diac-dev] Detecting self-cycles in ECC
Index(es):
- Date
- Thread

Breadcrumbs