PROHARDVER! témák
Mobilarena témák
IT café témák
GAMEPOD.hu témák
Keresés
-
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
- Szevam: Érzelmi magabiztosság/biztonság - miért megyünk sokan külföldre valójában?
- Büszke apukák és anyukák topikja
- Google Chrome
- A fociról könnyedén, egy baráti társaságban
- Kerékpárosok, bringások ide!
- Honor Magic5 Pro - kamerák bűvöletében
- Magisk
- Android alkalmazások - szoftver kibeszélő topik
- Filmvilág
- NVIDIA GeForce RTX 4060 / 4070 S/Ti/TiS (AD104/103)
- További aktív témák...
Új prémium hirdetések
- Philips Evnia 42M2N8900 Gamer Oled Monitor!42"/4k/138hz/0,1ms/Freesync-Gsync/HDMI 2.1/TypeC/Ambiglow
- -56% HP EliteBook 840 G8:i7 1165G7,16GB RAM,512GB NMVe SSD,Iris Xe,IR kam.+ujj.olv.,vil.MAGYAR bill.
- Monitortató plexi konzol több elérhető készletről MONITORCENTER
- -50% HP EliteBook 840 G8: i7 1165G7,32GB RAM,1TB NMVe SSD,Iris Xe,IR kam.+ujj.olv.,vil.MAGYAR bill.
- 1.250.000 FT helyett 940.000 FT !! MacBook Pro 16" M3 Pro 12CPU / 18GPU / 18GB / 512 SSD