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

16. sor:

| hf = 1 + szorgalmi

| 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/

| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form

22. sor:

__TOC__

* [[TargynevAjanlas|Ajánlott rövidítés]]: '''Form'''

==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:

** 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

** [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

==Segédanyagok==

===Miből érdemes tanulni?===

76. sor:

74. sor:

===Régi anyagok===

* [[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==

===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]]

* {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása

109. sor:

107. sor:

* FormModVizsga20080528

* FormModVizsga20080611

==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]

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

~~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]

131. sor:

125. sor:

* [[FormModHazi22tol28|Házi 22-28]]

* [[FormModHazi29tol35|Házi 29-35]]

[[Category:InfoMsc]]

@@ 16. sor: / 16. sor: @@
 | hf = 1 + szorgalmi
 | 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/
 | tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
@@ 22. sor: / 22. sor: @@
 __TOC__
-* [[TargynevAjanlas|Ajánlott rövidítés]]: '''Form'''
 ==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:
-** 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
-** [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
 ==Segédanyagok==
 ===Miből érdemes tanulni?===
@@ 76. sor: / 74. sor: @@
 ===Régi anyagok===
 * [[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==
 ===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]]
 * {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása
@@ 109. sor: / 107. sor: @@
 * FormModVizsga20080528
 * FormModVizsga20080611
 ==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]
@@ 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'''.
-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]
@@ 131. sor: / 125. sor: @@
 * [[FormModHazi22tol28|Házi 22-28]]
 * [[FormModHazi29tol35|Házi 29-35]]
 [[Category:InfoMsc]]