PROHARDVER! témák
Mobilarena témák
IT café témák
-
Fototrend
Új hozzászólás Aktív témák
-
cucka
addikt
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.[ Szerkesztve ]
Új hozzászólás Aktív témák
Téma tudnivalók
● olvasd el a téma összefoglalót!
Aktív témák
- Milyen routert?
- Miskolc és környéke adok-veszek-beszélgetek
- Kedvenc zene a mai napra
- AMD K6-III, és minden ami RETRO - Oldschool tuning
- Skoda, VW, Audi, Seat topik
- Így építsd a billentyűzeted!
- Stellar Blade
- Autós topik
- gban: Ingyen kellene, de tegnapra
- ArchiCAD és Artlantis topik
- További aktív témák...
Új prémium hirdetések