000 03858nam a22006015i 4500
001 978-3-642-04912-5
003 DE-He213
005 20240730194918.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642049125
_9978-3-642-04912-5
024 7 _a10.1007/978-3-642-04912-5
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aTeaching Formal Methods
_h[electronic resource] :
_bSecond International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings /
_cedited by Jeremy Gibbons, Jose Nuno Oliveira.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aXI, 177 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5846
505 0 _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.
520 _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.
650 0 _aMachine theory.
_9158471
650 0 _aComputer science.
_99832
650 0 _aComputer programming.
_94169
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aFormal Languages and Automata Theory.
_9158472
650 2 4 _aTheory of Computation.
_9158473
650 2 4 _aProgramming Techniques.
_9158474
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aGibbons, Jeremy.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9158475
700 1 _aNuno Oliveira, Jose.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9158476
710 2 _aSpringerLink (Online service)
_9158477
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642049118
776 0 8 _iPrinted edition:
_z9783642049132
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v5846
_9158478
856 4 0 _uhttps://doi.org/10.1007/978-3-642-04912-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95385
_d95385