OCL development environment for Eclipse 2

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.8/5 - ‎4 ‎Głosów

O OCL development environment for Eclipse

Głównym celem tego projektu jest utworzenie edytora Eclipse do określania kontraktów OCL. Język OCL służy do określania warunków wstępnych, po warunkach i niezmiennych. Projekt zawiera również analizator do sprawdzania poprawności syntaktycznej i semantycznej.