Io-7-wyk-toc

From Studia Informatyczne

Spis treści

  1. Metody formalne
  2. Plan wykładów
  3. Plan wykładów(1)
  4. Cztery filary zapewniania jakości
  5. Jakość oprogramowania
  6. Słabości testowania
  7. Dowodzenie poprawności programów
  8. Dowodzenie poprawności programów(1)
  9. Dowodzenie poprawności programów(2)
  10. Podejścia do specyfikacji formalnej
  11. Plan wykładu
  12. Plan wykładu(1)
  13. Specyfikacje aksjomatyczne
  14. Specyfikacje aksjomatyczne(1)
  15. Specyfikacje aksjomatyczne(2)
  16. Specyfikacje aksjomatyczne(3)
  17. Specyfikacje aksjomatyczne(4)
  18. Specyfikacje aksjomatyczne(5)
  19. Specyfikacje aksjomatyczne(6)
  20. Specyfikacje aksjomatyczne(7)
  21. Specyfikacje aksjomatyczne(8)
  22. Specyfikacje aksjomatyczne(9)
  23. Specyfikacje aksjomatyczne(10)
  24. Specyfikacje aksjomatyczne(11)
  25. Specyfikacje aksjomatyczne(12)
  26. Specyfikacje aksjomatyczne(13)
  27. Specyfikacje aksjomatyczne(14)
  28. Specyfikacje aksjomatyczne(15)
  29. Specyfikacje aksjomatyczne(16)
  30. Specyfikacje aksjomatyczne(17)
  31. Specyfikacje aksjomatyczne(18)
  32. Specyfikacje aksjomatyczne(19)
  33. Plan wykładu
  34. Implementacje niestandardowe
  35. Implementacje niestandardowe(1)
  36. Implementacje niestandardowe(2)
  37. Implementacje niestandardowe(3)
  38. Implementacje niestandardowe(4)
  39. Implementacje niestandardowe(5)
  40. Implementacje niestandardowe(6)
  41. Implementacje niestandardowe(7)
  42. Implementacje niestandardowe(8)
  43. Plan wykładu
  44. Carl Adam Petri
  45. Co to za gra?
  46. Terminologia
  47. Terminologia(1)
  48. Terminologia(2)
  49. Terminologia(3)
  50. Terminologia(4)
  51. Terminologia(5)
  52. Terminologia(6)
  53. Bardzo prosty przykład
  54. Bardzo prosty przykład(1)
  55. Bardzo prosty przykład(2)
  56. Bardzo prosty przykład(3)
  57. Bardzo prosty przykład(4)
  58. Bardzo prosty przykład(5)
  59. Bardzo prosty przykład(6)
  60. Bardzo prosty przykład(7)
  61. Bardzo prosty przykład(8)
  62. Bardzo prosty przykład(9)
  63. Bardzo prosty przykład(10)
  64. Bardzo prosty przykład(11)
  65. Bardzo prosty przykład(12)
  66. Przejścia konfliktowe
  67. Przejścia konfliktowe(1)
  68. Przejścia konfliktowe(2)
  69. Przejścia konfliktowe(3)
  70. Przejścia konfliktowe(4)
  71. Przejścia konfliktowe(5)
  72. Przejścia konfliktowe(6)
  73. Przejścia konfliktowe(7)
  74. Inny przykład
  75. Inny przykład(1)
  76. Inny przykład(2)
  77. Inny przykład(3)
  78. Inny przykład(4)
  79. Inny przykład(5)
  80. Inny przykład(6)
  81. Inny przykład(7)
  82. Inny przykład(8)
  83. Inny przykład(9)
  84. Skróty notacyjne
  85. Skróty notacyjne(1)
  86. Skróty notacyjne(2)
  87. Skróty notacyjne(3)
  88. Skróty notacyjne(4)
  89. Skróty notacyjne(5)
  90. Problem zastoju
  91. Problem zastoju(1)
  92. Problem zastoju(2)
  93. Problem zastoju(3)
  94. Problem zastoju(4)
  95. Problem zastoju(5)
  96. Problem zastoju(6)
  97. Problem zastoju(7)
  98. Problem zastoju(8)
  99. Problem zastoju(9)
  100. Problem zastoju(10)
  101. Plan wykładu
  102. Specyfikacje aksjomatyczne
  103. Implementacje niestandardowe
  104. Sieci Petri’ego
  105. Problem zastoju