LEADER 03706nam  2200649Ia 450 
001 9910484293203321
005 20200520144314.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   $a20090930d2009      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTeaching formal methods $esecond international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings /$fJeremy Gibbons, Jos Nuno Oliveira (Eds.)
205   $a1st ed. 2009.
210   $aBerlin ;$aNew York $cSpringer$dc2009
215   $a1 online resource (XI, 177 p.)
225 1 $aLecture notes in computer science ;$v5846
225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
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$aLecture notes in computer science ;$v5846.
410  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.
517 3 $aTFM 2009
606   $aFormal methods (Computer science)$vCongresses
606   $aComputer software$xDevelopment$xStudy and teaching$vCongresses
615  0$aFormal methods (Computer science)
615  0$aComputer software$xDevelopment$xStudy and teaching
676   $a004n/a
686   $aDAT 310f$2stub
686   $aEDU 740f$2stub
686   $aSS 4800$2rvk
701   $aGibbons$b Jeremy$f1966-$0867806
701   $aOliveira$b Jos N$01760415
712 12$aTFM 2009
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484293203321
996   $aTeaching formal methods$94199377
997   $aUNINA