„Formális módszerek HOWTO” változatai közötti eltérés

A VIK Wikiből
VizuálisWikiszöveges
Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormKedvcsinalo}} vissza FormMod ---- ==Ajánlott könyvek== Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex…”
 
Nincs szerkesztési összefoglaló
 
1. sor: 1. sor:
{{GlobalTemplate|Infoalap|FormKedvcsinalo}}


vissza [[FormMod]]


----


==A tárgyról==


==Ajánlott könyvek==
* Régi, elavult linkek
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome


Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András] [http://ak.haszprus.hu/index.php?p=hirdetesek&orderby=k_cim#Form%E1lism%F3dszerekazinformatik%E1ban http://ak.haszprus.hu/ak468.gif]
==Segédanyagok==




==Gáb==
===Segédanyag az MSc-s 1. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
** [[FormModVizsgaModEll|Modellellenőrzés]]
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
** [[FormModVizsgaAllapterkep|Állapottérképek]]
* [[FormModBev|Bevezetés]](TK 9-29)
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]


Nehéz helyzetben vagyok, ha a véleményemet kultúráltan akarom leírni. Az anyag kib* sok, kib* érdektelen, a házi kib* sok, a zh nehéz, a vizsga kib* nehéz, bár utóbbi kettő elég sablonos. Ezek után nem szégyellnek 50%-ot kérni a ketteshez. Az oktatói hozzáállás némely oktatóktól szerintem visszataszító, bár akire most célzok, az valszeg nektek nem lesz. Varró Daninál szóbeliztem a kettesért, ő viszont rendes volt. Ez az a tárgy, ami rémálmomban se jöjjön elő. Ha beseggeli az ember a tipusfeladatokat, meg lehet csinálni kettesre, de kevés olyan tárggyal találkoztam, amiről ennyire lesújtó véleményem lenne. Hogy valami pozitívumot is írjak: a házit javító konzulens korrekt volt (mondjuk egy heti munkáért adott 5 pontból 5öt, bingó), és van infosite-on egy nagyon jó, hallgatók által írt jegyzet, vagy inkább egy útmutató, hogy a típusfeladatokat hogy lehet megoldani, az überhasznos.
===Segédanyag az MSc-s 2. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaPetri|Petri Hálók]]
* [[FormModDefiniciok|Definíciók]]
* 2. Petri Hálók (TK 31-108)
** 2.1 Bevezetés
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
** 2.4 [[FormModTokenJatek|Token Játékok]]
** 2.5 Alkalmazási mintapéldák
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
* [[FormModZH2Ossz]]
===Tapasztalatok a segédeszközökkel===
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
* [[FormModPed|Ped+Ina-t]] (Linux)
* [[FormModSpinEdit |SpinEdit]]
===UPPAAL===
* [[:Media:uppaal-4.0.14-aca.zip | UPPAAL 4.0.14]]
UPPAAL academic. Java VM szükséges a futtatásához.


==Joco==
===Régi anyagok===
* [[FormMiVoltAzOran|Mi volt az órán?]]


A zh még csak-csak túlélhető, vizsga nagyobb szopás, nekem másodszorra sikerült kettesre. Tessék jól tudni a slide-okat, könyvet megvenni határozottan nem árt (slideok helyenként nehezen érthetőek) és tessék nézegetni a korábbi vizsga és zh sorokat! Még egyszer leírom: van olyan cucc, ami csak a könyvben van, slide-on nincs!
==ZH==
==== 2003 ====
[[:Media:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]]<br />
[[:Media:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]]<br />
[[:Media:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]]<br />
[[:Media:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]]<br />


Lesz egy házi is, aminek a nehézsége szerencsétől fuggően változó, keressetek valakit aki tud segíteni vagy hasonló a házija és pár nap alatt meg lehet csinálni. (ha valaki elmagyarázza)
==== 2004 ====
[[:Media:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]


==FeZo==
==== 2005 ====
[[:Media:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]


Egy Pataricza nevezetű pipás ember tartja, eléggé jófej, de kb. ez minden pozitívum amit a tárgyról el lehet mondani. A ZH-n még át lehet menni, de a vizsga maratoni hosszúságú, iszonyat mennyiségű tananyagra alapozik, aminek többségét bizony csak 3-4szeri elolvasással lehet megérteni, vagy tán még annyival sem. De ez még mind semmi.
==== 2009 ====
[[:Media:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]


Az aláírás feltétele egy nagyházi, ami igazából csak arra jó, hogy a még esetleg fennmaradt szabad idődet is elvegye. Egy egyszerűnek hangzó
==== 2010 ====
feladatot adnak ki, erre ugye általában úgy reagálunk hogy "á' majd összedobom az utolsó héten", aztán majd rájössz hogy hoppá... szívás mértéke jelentős.
[[:Media:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]]<br />
[[:Media:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]


+jó hír: ha vizsgán max 4-5 ponttal lemaradtál a jobbik jegyről, még semmi sincs veszve. Kitartó arcmunkával, kihasználva a javítók odaadó
==== 2011 ====
segítőkészségét bármi megtörténhet... :)
[[:Media:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]]<br />
[[:Media:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]]<br />
[[:Media:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]


Ha nem sikerül a reklamáció, szóbelin csak akkor próbálj meg javítani, ha nagyon vágod az anyagot, és nem ijedsz meg néhány beugratós kérdéstől.
==== Ismeretlen ====
[[:Media:form_zhkerdesek.docx | ZH kérdések]]<br />
[[:Media:form_zhmegoldasok.pdf | ZH megoldások]]


==Kill Gates==
==Vizsga - Régi==
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.<br/>
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]]<br/>


Petri-hálós játék és társai a tárgy témája. Pataricza jó fej, és jó órákat tart, úgyhogy erre tényleg érdemes bejárni. Már csak ezért megérné igazából, de ha vkinek ez mégse lenne elég, annak még hozzáteszem, hogy később majd, mikor otthon egyedül próbálja meg kibogarászni, hogy miről is van szó, az ilyen-olyan matematikai képletek láttán annak majd a szeme ketté áll, míg ha ott lett volna órán, akkor tudná, hogy milyen triviális dolog van oda leírva, és hogy nem is az volna a lényeg, hogy azt az adott képletet bemagolja.
* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
* [[FormModVizsga20070117|Formális módszerek 2007. jan. 17-ei vizsga]]
* [[FormModVizsga20070613]]
* [[FormModVizsga20080528]]
* [[FormModVizsga20080611]]


==ismeretlen==
==Házi feladat - Régi==
Elérhetőek az új tanszéki weblapról: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]


Ez sem egy egyszerű tárgy. Sok féle téma van, az elméletet tényleg érteni kell. A könyv lefedi az anyagot, egy-két részt kivéve. A ZH-n elméleti kérdéssorban minden egyes szóra figyelni kell, mert gyakori, hogy látszólag igaz egy-egy allítás, de egy szó miatt mégsem az. A gyakorlati rész itt is többnyire típuspelda, némelyikkel nagyon sokat kell szívni (Martinez-Sylva algoritmus pl.) és röhejesen kevés pontot ér. A vizsga ("Varró Dani style") 12 A4-es oldal, amiben az összes lehetséges példafajta mindig benne van, erre általában még a 150 perc is kevés. Ne tévesszen meg senkit, hogy az infosite-on többnyire 5-6 oldalas vizsgák vannak, az már a múlté. Van HF is, ami lehet egyszerű és lehet bonyolult (mázlifaktor szokás szerint). Petri hálós és Promela modellt kell csinálni egy szöveges leírásból, és utána deadlockmentességet meg fairséget kell ellenőrizni rajta. Nagy szívás általában az elkészítéshez szükséges eszközök használatával (dnanet, ped, ina, spin), illetve az ellenőrző kifejezések megfogalmazásával van. Az 1.3 szakirány több szempontból is ennek a tárgynak a folytatása.
[[FormModHfLevel|Bartha Tamás levele a házi feladattal kapcsolatban]]


==Arwen==
Szöveges leírással megadott rendszert kell egyrészt Petri hálók segítségével '''modellezni''' és elemezni, másrészt modellellenőrzési módszerekkel '''verifikálni'''.


Hm. Nem is tudom hogy kezdjem. Van zh meg vizsga, mindegyiknél változó, hogy
SAL telepítés Cygwinnel: [http://sal-wiki.csl.sri.com/index.php/Cygwin_installation http://sal-wiki.csl.sri.com/index.php/Cygwin_installation]
hány százaléktól kettes. Ezt a javításkor állapították meg tavaly, gondolom
épp milyen kedvük volt. Hogy miről szól... mindenféle formális módszerről :)
petri-hálók meg automaták meg egyebek. Igazából ha egyszer megérted, elég
egyszerű az anyag, de meg kell egyszer érteni. Előadásra nem jártam de
megbántam. Hiszem, hogy nagyságrendekkel kevesebb szenvedés lett volna nem
magamnak kibogarászni.
A vizsga baromi hosszú, 3 órás és kb végig körmölni kell, van valami 12
oldalnyi feladat. Ennek az is előnye, ha nem értesz egy anyagrészt,
egyáltalán nincs minden veszve, tuti nem lesz abból a zh fele, max 2
feladatot buksz a 14-ből. De lesz kb mindenféle feladat, erre számítani
kell.
Ja, a házi. Nekem olyan konzulensem volt aki semmit nem vágott de
maximalista volt, egyáltalán nem jártam jól vele. Másoknak fele annyi idő
alatt elfogadták, nekem mindenbe belekötöttek. Mázlifaktor, ennyi. A 100
pontból max 5 pontot lehet vele szerezni vizsgára. (igen, ez nagyon kevés)


==BB 2007.07.12==
===Tapasztalatok az egyes feladatokkal===
'''"A modellezés fázisában nem tiltott a feladatok szakmai konzultációja egymás közt, de kérjük, hogy alapvetően egyedül dolgozzanak."'''


A tárgyról sok rosszat hallani, de szerintem annyira azért nem nehéz.
* [[FormModHazi1tol7|Házi 1-7]]
Talán azért mondják, mert az előadásokon csak nagyon alap dolgokat mondanak el(a feladatok megoldásához), és a vizsgán pedig rendesen számon kérik.
* [[FormModHazi8tol14|Házi 8-14]]
A házi pedig szerintem annyira nem vészes, csak amikor először elolvasod a feladatot....:)
* [[FormModHazi15tol21|Házi 15-21]]
Szóval a tárgy teljesíthető, de zhra és vizsgára azért rendesen át kell nézni a régebbi feladatsorokat.
* [[FormModHazi22tol28|Házi 22-28]]
* [[FormModHazi29tol35|Házi 29-35]]


-- [[NeoXon|NeoXon]] - 2005.12.16.
== Talált oldalak ==


-- [[PallosPeter|Peti]] - 2005.12.16.
Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
* [[Formális_módszerek_vizsga_tool]]


 
{{Lábléc - Mérnök informatikus mesterszak}}
[[Category:Infoalap]]

A lap jelenlegi, 2016. április 22., 23:26-kori változata


A tárgyról

Segédanyagok

Segédanyag az MSc-s 1. ZH-ra

Segédanyag az MSc-s 2. ZH-ra

Tapasztalatok a segédeszközökkel

UPPAAL

UPPAAL academic. Java VM szükséges a futtatásához.

Régi anyagok

ZH

2003

ZH 2003.03 A csoport
ZH 2003.03 B csoport
ZH 2003.03 C csoport
ZH 2003.03 D csoport

2004

ZH 2004.03 A csoport

2005

ZH 2005.04 B csoport

2009

ZH2 2009.05 A csoport

2010

ZH1 2010.03 A csoport
ZH1 2010.03 B csoport

2011

ZH1 2011 minta megoldás ötletek
ZH1 2011 minta
ZH2 2011 minta PN feladattípusok

Ismeretlen

ZH kérdések
ZH megoldások

Vizsga - Régi

MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.
2006-os tananyaggal kapcsolatos hivatalos információk

Házi feladat - Régi

Elérhetőek az új tanszéki weblapról: Kiírás - Segédeszközök

Bartha Tamás levele a házi feladattal kapcsolatban

Szöveges leírással megadott rendszert kell egyrészt Petri hálók segítségével modellezni és elemezni, másrészt modellellenőrzési módszerekkel verifikálni.

SAL telepítés Cygwinnel: http://sal-wiki.csl.sri.com/index.php/Cygwin_installation

Tapasztalatok az egyes feladatokkal

"A modellezés fázisában nem tiltott a feladatok szakmai konzultációja egymás közt, de kérjük, hogy alapvetően egyedül dolgozzanak."

Talált oldalak

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - Koza (vita) 2014. június 9., 19:35 (UTC)


1. félév (tavasz)
2. félév (ősz)
Egyéb
Szakirányok


A lap eredeti címe: „https://vik.wiki/index.php?title=Formális_módszerek_HOWTO&oldid=188883”