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

A VIK Wikiből
Ugrás a navigációhoz Ugrás a kereséshez
a
16. sor: 16. sor:
 
| hf = 1 + szorgalmi
 
| hf = 1 + szorgalmi
 
| vizsga = nincs
 
| vizsga = nincs
−
| levlista = https://lists.sch.bme.hu/wws/info/infomsc
+
| levlista = form{{kukac}}sch.bme.hu
 
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
 
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
 
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
 
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
22. sor: 22. sor:
  
 
__TOC__
 
__TOC__
−
* [[TargynevAjanlas|Ajánlott rövidítés]]: '''Form'''
+
 
 
==A tárgyról==
 
==A tárgyról==
−
* Tanszéki weboldal:
+
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
−
** Honlap: http://www.inf.mit.bme.hu/edu/courses/form
+
* [[Formális módszerek HOWTO|Kedvcsináló]]
−
* VIK-es adatlap:
 
−
** https://www.vik.bme.hu/kepzes/targyak/VIMIM100/
 
−
* [[FormKedvcsinalo|Kedvcsináló]]
 
 
* Levlista:
 
* Levlista:
−
** form@sch.bmeDONTSPAM.hu -> feliratkozás: https://lists.sch.bme.hu/wws/subscribe/form
+
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
 +
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
 
* Régi, elavult linkek
 
* Régi, elavult linkek
−
** [http://info.sch.bme.hu/document.php?doc_id=71 tárgy lapja az infosite-on]
 
 
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome
 
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome
 +
 
==Segédanyagok==
 
==Segédanyagok==
 
===Miből érdemes tanulni?===
 
===Miből érdemes tanulni?===
76. sor: 74. sor:
 
===Régi anyagok===
 
===Régi anyagok===
 
* [[FormMiVoltAzOran|Mi volt az órán?]]
 
* [[FormMiVoltAzOran|Mi volt az órán?]]
−
A linkeken nagyrészt az [http://info2.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=8760 InfoSite]-on található '''Bakmester''' által összegyűjtött Összefoglalót használtuk.
+
 
 
==ZH==
 
==ZH==
 
===Kidolgozott zh sorok   ===
 
===Kidolgozott zh sorok   ===
−
* [[FormModZh20050407|2005.04.07 zh megoldás]]
+
* [[Formális Módszerek ZH 2005. 04. 07. (B csoport)]]
 
* [[FormModZh2004|2004 tavaszi zh megoldás]]
 
* [[FormModZh2004|2004 tavaszi zh megoldás]]
 
* {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása
 
* {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása
109. sor: 107. sor:
 
* FormModVizsga20080528
 
* FormModVizsga20080528
 
* FormModVizsga20080611
 
* FormModVizsga20080611
 +
 
==Házi feladat - Régi==
 
==Házi feladat - Régi==
−
 
−
Beadási határidő: '''14. hét, 2008. december 9. kedd, 24:00 CET (változott!)'''
 
−
 
 
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]
 
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]
  
118. sor: 114. sor:
  
 
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'''.
 
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'''.
−
 
−
Modellezési eszközök leírása, tanácsok: [http://users.hszk.bme.hu/~vd419/form/ Vágó Dávid honlapja]
 
  
 
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]
 
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]
131. sor: 125. sor:
 
* [[FormModHazi22tol28|Házi 22-28]]
 
* [[FormModHazi22tol28|Házi 22-28]]
 
* [[FormModHazi29tol35|Házi 29-35]]
 
* [[FormModHazi29tol35|Házi 29-35]]
−
 
  
 
[[Category:InfoMsc]]
 
[[Category:InfoMsc]]

A lap 2014. január 18., 13:43-kori változata

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót


Formális Módszerek
Tárgykód
VIMIM100
Általános infók
Szak
InfoMSC kötelező
Kredit
4
Ajánlott félév
tavasz
Keresztfélév
nincs
Tanszék
MIT
Követelmények
Jelenlét
nincs
Minimális munka
2ZH plusz házi
Labor
ősszel
KisZH
0
NagyZH
2
Házi feladat
1 + szorgalmi
Vizsga
nincs
Elérhetőségek
Levlista
form
Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
@sch.bme.hu


A tárgyról

Segédanyagok

Miből érdemes tanulni?

  • Formális módszerek az informatikában (Typotex) - Pataricza András
  • régi zh meg vizsgasorok (elég hasonló példák vannak néha)
  • Előadásfóliák
  • Ezen a helyen volt linkelve a(z) formcucc.pdf nevű fájl ("formcucc.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
Zh/vizsgya feladatok kidolgozva (Form Zh How to)
  • Ezen a helyen volt linkelve a(z) FormJegyzet2006Osz.pdf nevű fájl ("FormJegyzet2006Osz.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
FormJegyzet2006Osz.pdf

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

Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve

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

Tapasztalatok a segédeszközökkel

UPPAAL

  • Ezen a helyen volt linkelve a(z) uppaal-4.0.13.zip nevű fájl ("uppaal-4.0.13.zip" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
UPPAAL academic Java VM szükséges a futtatásához.

Régi anyagok

ZH

Kidolgozott zh sorok

2006 őszi ZH megoldása

MSc-s zh sorok

  • Minta ZH és minta megoldás 2011 1. ZH
    • Ezen a helyen volt linkelve a(z) FM-2011_ZH1_minta.pdf nevű fájl ("FM-2011_ZH1_minta.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
      Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
      @sch.bme.hu címre a kérésedet)
FM-2011_ZH1_minta.pdf
    • Ezen a helyen volt linkelve a(z) FM-2011_ZH1_megoldas_otletek.pdf nevű fájl ("FM-2011_ZH1_megoldas_otletek.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
      Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
      @sch.bme.hu címre a kérésedet)
FM-2011_ZH1_megoldas_otletek.pdf
  • Minta ZH és receptek 2011 2. ZH
    • Ezen a helyen volt linkelve a(z) FM-2011_ZH2_PN_feladattipusok.pdf nevű fájl ("FM-2011_ZH2_PN_feladattipusok.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
      Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
      @sch.bme.hu címre a kérésedet)
FM-2011_ZH2_PN_feladattipusok
    • Ezen a helyen volt linkelve a(z) FM-2011_ZH2_PN_megoldasi_receptek.pdf nevű fájl ("FM-2011_ZH2_PN_megoldasi_receptek.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
      Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
      @sch.bme.hu címre a kérésedet)
FM-2011_ZH2_PN_megoldasi_receptek
  • Ezen a helyen volt linkelve a(z) Form_masodikZH_20090607_kek.pdf nevű fájl ("Form_masodikZH_20090607_kek.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
A 2009 májusi 7.-i, 2. zh kék csoportja
  • 2010 első zh
  • Ezen a helyen volt linkelve a(z) form_zh1_A_100322.pdf nevű fájl ("form_zh1_A_100322.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
2010.március 22-ei Form ZH "kék" A csoportja
  • Ezen a helyen volt linkelve a(z) form_zh1_B_100322.pdf nevű fájl ("form_zh1_B_100322.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
2010.március 22-ei Form ZH "fehér" B csoportja

Egyéb ZH sorok

  • Ezen a helyen volt linkelve a(z) FormZH2003tavaszO.pdf nevű fájl ("FormZH2003tavaszO.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
ZH 2003 tavasz Osszes csoport
  • Ezen a helyen volt linkelve a(z) FormZH2005tavaszB.pdf nevű fájl ("FormZH2005tavaszB.pdf" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormMod oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
    Hiba a bélyegkép létrehozásakor: Nem lehet a bélyegképet a célhelyre menteni
    @sch.bme.hu címre a kérésedet)
ZH 2005 tavasz B csoport

Vizsga

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."

A lap eredeti címe: „https://wiki.sch.bme.hu/index.php?title=Formális_módszerek&oldid=175617”