2009-06-23 16 views

Odpowiedz

11

LePUS3 został zaprojektowany jako ulepszenie w stosunku do innych języków modelowania i został specjalnie zaprojektowany jako ulepszenie UML. Korzyści z LePUS3 są określone w the paper that introduced it, a podsumowanie tych korzyści można zobaczyć na podglądzie programu naukowego pod linkiem.

będę powielać określone zalety gazety tutaj:

  • rygoru. LePUS3 jest logicznym językiem wizualnym: wykres oznacza formułę w aksjomatyzowanej teorii w klasycznym rachunku predykatów pierwszego rzędu.
  • Parsimony & skalowalność. LePUS3 oferuje potężne abstrakcje: wykresy są dobrze skalowane i nie zagracają się z rozmiarem programu.
  • Minimalność. Słownictwo LePUS3 jest minimalne i składa się z 15 żetonów.
  • Zdolność do sprawdzania & sprawdzalność. Spójność między daną specyfikacją (wykres) a implementacją (program Java) można zweryfikować za pomocą kliknięcia przycisku.
  • Wizualizacja programu. Wykresy modelujące programy Java można odwrócić z kodu źródłowego.
3
  1. można odwrócić inżynier wykresy LePUS3 z kodu źródłowego i uzyskać miarodajne wyniki
  2. LePUS3 formalny język
  3. można modelować programy o dowolnej wielkości w LePUS3
  4. można modelować Wzorce projektowe w programie LePUS3 nie jako programy, ale jako ogólne motywy projektu
Powiązane problemy