Specyfikacja LEM: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(Utworzył nową stronę „ == Szkic specyfikacji projektu LEM == === Notatki -brulion === * zachować tyle ile można z gramatyki Loglanu'82. * wprowadzić moduły interface, specification,...”)
 
Linia 13: Linia 13:
 
=== Pierwsza wersja specyfikacji - Trawiasta ===
 
=== Pierwsza wersja specyfikacji - Trawiasta ===
 
Tu będzie spisana ''trawiasta'' wersja specyfikacji języka LEM.
 
Tu będzie spisana ''trawiasta'' wersja specyfikacji języka LEM.
 +
 +
=== wersja Gliniana ===
 +
 +
=== wersja Gipsowa ===
 +
 +
=== wersja Drewniana ===
 +
 +
=== Wersja ostateczna - '''Kamienna''' ===

Wersja z 11:58, 2 lut 2013

Szkic specyfikacji projektu LEM

Notatki -brulion

  • zachować tyle ile można z gramatyki Loglanu'82.
  • wprowadzić moduły interface, specification, verification (z myślą o projekcie SpecVer).
  • jakoś zdefiniować bibliotekę(i) klas i procedur.
  • zezwolić na przekazywanie typu jako parametru - dodatkowym warunkiem:

typ przekazywany jako parametr aktualny ma być podtypem typu T wymienionego jako parametr formalny w deklaracji procedury).


Pierwsza wersja specyfikacji - Trawiasta

Tu będzie spisana trawiasta wersja specyfikacji języka LEM.

wersja Gliniana

wersja Gipsowa

wersja Drewniana

Wersja ostateczna - Kamienna