„Szoftvertechnológia - Videójegyzet” változatai közötti eltérés

@@ 900. sor: / 900. sor: @@
 Specifikáció: formális leírás sw-re, mely kielégíti a követelményeinket. Funkcionális, szerkezeti, időbeli kép
-=== 5.Diasor/ ===
+=== 5.Diasor. 2013: [http://directory.iit.bme.hu/belso/st/p12_6.pdf 12. Part12_6 - p12_6.pdf], 24. dia, Specification2 / Algebraic axioms - Algebraic axioms (An algebra is a set of objects...) ===
 ==== 01:19:47 ====
@@ 946. sor: / 946. sor: @@
 ===== 45-46, Példa, lista, 42p =====
-==== 00:56:30 ====
+==== 00:56:36 ====
+===== Petri nets, modeling concurrent processes =====
+(nincs meg a 2013. tavaszi diák között a hivatalos honlapon)
 ==== 01:03:25 ====
 ===== 47-48, Petri hálók 58p =====
@@ 976. sor: / 981. sor: @@
 ==== 01:23:02 ====
 ===== 54, Nagyon szép ábra, 1:23p =====
+==== utolsó dia: Petri-hálóknál: Example: Reserve two resources =====
 == 11. Előadás ==