Projekt LEM

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 02: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”