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...”) |
|||
| Linia 1: | Linia 1: | ||
Projekt LEM ma wiele wspólnego z projektem SpecVer. | Projekt LEM ma wiele wspólnego z projektem SpecVer. | ||
| − | Wyraża | + | Wyraża się to między innymi poprzez |
| − | * włączanie do programu modułów '''specification''', oprócz modułów interface. | + | * 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''. | + | * 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. |
Aktualna wersja na dzień 01:29, 3 lut 2013
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.
