Projekt LEM: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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 sie to między innymi poprzez
+
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.