Új hozzászólás Aktív témák

• #18006 cucka addikt Ispy #18002

  Új Válasz 2022-11-22 17:48:45 #18006

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  Privát üzenet küldése

  

  cucka

  addikt

  válasz Ispy #18002 üzenetére

  Persze, ilyen gyakran van, erre használjuk az UML diagramokat, esetleg ha van idő+pénz, akkor lehet írni SAD-ot is.
  Ami fontos, hogy ezek nem matematikai eszközök. Amikor ilyet mondasz, akkor általában az automatikusan verifikált programokra gondol az ember, meg a Dijkstra-féle matematikai modellre. Tehát nem magyarázó diagramokról van szó, hanem függvényekről, halmazműveletekről, állapotterekről meg invariánsokról, illetve a legfontosabb - matematikai módszerekkel definiálni a program elvárt működését, majd bizonyítani, hogy valóban teljesíti a feltételeket.

Új hozzászólás Aktív témák