Projekt LEM

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 01:29, 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 się 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 delete w strukturze drzew BST, może się okazać przydatna wiedza uzyskana wcześniej podczas analizy algorytmu insert. Biblioteka wiedzy może gromadzić lematy i twierdzenia.