LEADER 04170nam  22007695  450 
001 996465862303316
005 20230406040639.0
010   $a3-642-04912-5
024 7 $a10.1007/978-3-642-04912-5
035   $a(CKB)1000000000798317
035   $a(SSID)ssj0000320315
035   $a(PQKBManifestationID)11256847
035   $a(PQKBTitleCode)TC0000320315
035   $a(PQKBWorkID)10347445
035   $a(PQKB)11744681
035   $a(DE-He213)978-3-642-04912-5
035   $a(MiAaPQ)EBC3064728
035   $a(PPN)139959106
035   $a(EXLCZ)991000000000798317
100   $a20100301d2009      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTeaching Formal Methods$b[electronic resource] $eSecond International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /$fedited by Jeremy Gibbons, Jose Nuno Oliveira
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (XI, 177 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5846
300   $aInternational conference proceedings.
311   $a3-642-04911-7 
320   $aIncludes bibliographical references and index.
327   $aAbstraction and Modelling: A Complementary Partnership -- Teaching Formal Methods for the Unconquered Territory -- Teaching Formal Methods Based on Rewriting Logic and Maude -- Which Mathematics for the Information Society? -- What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project -- Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z -- Teaching Program Specification and Verification Using JML and ESC/Java2 -- How to Explain Mistakes -- Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification -- On Teaching Formal Methods: Behavior Models and Code Analysis -- Teaching Concurrency: Theory in Practice.
330   $aThis book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009. The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5846
606   $aMachine theory
606   $aComputer science
606   $aComputer programming
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aCompilers and Interpreters
615  0$aMachine theory.
615  0$aComputer science.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615 14$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
676   $a004n/a
686   $aDAT 310f$2stub
686   $aEDU 740f$2stub
686   $aSS 4800$2rvk
702   $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNuno Oliveira$b Jose$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aTFM 2009
906   $aBOOK
912   $a996465862303316
996   $aTeaching Formal Methods$9773776
997   $aUNISA