Projekt LEM

Z Lem

Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 01:26, 3 lut 2013

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)

Skocz do: nawigacji, wyszukiwania

Projekt LEM ma wiele wspólnego z projektem SpecVer. Wyraża sie to między innymi poprzez

włączanie do programu modułów specification, oprócz modułów interface.
wykorzystywanie biblioteki wiedzy o danej strukturze danych, np. podczas opracowywania nowego algorytmu deletew strukturze drzew BST może się okazać przydatna wiedza uzyskana wcześniej podczas analizy algorytmu insert.

Źródło „http://lem12.uksw.edu.pl/index.php?title=Projekt_LEM&oldid=18”