Legfrissebb anyagok
LOGOUT témák
- gban: Ingyen kellene, de tegnapra
- sziku69: Fűzzük össze a szavakat :)
- f(x)=exp(x): A laposföld elmebaj: Vissza a jövőbe!
- Geri Bátyó: Megint tahó voltam – SZEMÉLYISÉGFEJLŐDÉS
- Luck Dragon: Asszociációs játék. :)
- Argos: Adjátok vissza a netet! - szeretnék elaludni!
- ubyegon2: Airfryer XL XXL forrólevegős sütő gyakorlati tanácsok, ötletek, receptek
- sziku69: Szólánc.
- weiss: Logi MX Master 3S FW NEM frissítés
- btz: Internet fejlesztés országosan!
PROHARDVER! témák
Mobilarena témák
IT café témák
Keresés
Hirdetés
Ú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.
Új hozzászólás Aktív témák
Hirdetés
Téma tudnivalók
● olvasd el a téma összefoglalót!
Aktív témák
Új fizetett hirdetések
- Makulátlan ASUS TUF Gaming F15 gamer laptop(RTX 3050Ti, i5-11400H)
- Samsung C-HW-C440G 2.1 Soundbar Hangprojektor - 270W
- MSI Katana GF66 15.6" FHD IPS i7-12700H RTX 3050 16GB 512GB NVMe gar
- Hisense U5120GW 5.1.2 csatornás Hangprojektor 510 W teljesítmény -Dolby Atmos és DTS:X támogatás
- T16 Gen2 16" FHD+ IPS i7-1365U 16GB 1TB NVMe magyar vbill ujjlolv IR kam gar
Üzleti előfizetők hirdetései
- 12 GB-os DDR5 SODIMM laptop memória - garanciával
- HIBÁTLAN iPhone 14 Pro 256GB Deep Purple -1 ÉV GARANCIA - Kártyafüggetlen, MS3014, 91% Akkumulátor
- HIBÁTLAN iPhone 13 Pro 256GB Gold -1 ÉV GARANCIA - Kártyafüggetlen, MS3020, 91% Akkumulátor
- Samsung Galaxy Tab S6 Lite / 4GB RAM 64GB / Független / 12 Hó Garancia
- LG 27GS95QE - 27" OLED / QHD 2K / 240Hz & 0.03ms / 1000 Nits / NVIDIA G-Sync / AMD FreeSync
Állásajánlatok
Cég: FOTC
Város: Budapest