Projekt LEM: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „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...”) |
(Brak różnic)
|
Wersja z 01:26, 3 lut 2013
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.
