Projekt LEM

Z Lem
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.
Źródło „http://lem12.uksw.edu.pl/index.php?title=Projekt_LEM&oldid=19”