http://www.vdmbook.com/twiki/bin/view/Main The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. en-us Copyright 2013 by contributing authors Main.MarcelVerhoef [webmaster@vdmbook.com] The contributing authors of VdmBook^? VdmBook http://www.vdmbook.com/twiki/bin/view/Main http://www.vdmbook.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://www.vdmbook.com/twiki/bin/view/Main/BookExamples Most chapters of the book have major examples used to illustrate the different concepts presented in the chapter. Here it is possible to extract the sources for each ... (last changed by PeterGormLarsen) 2013-04-09T07:28:57Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/VDOOS Validated Designs for Object oriented Systems This website complements the book Validated Designs for Object oriented Systems . Here you can find sample models, solutions ... (last changed by PeterGormLarsen) 2013-02-22T07:08:31Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/WebHome Current Books on VDM This web site supports the use of two current texts on the Vienna Development Method (VDM). "Modelling Systems" (Fitzgerald Larsen, second edition ... (last changed by PeterGormLarsen) 2013-02-22T07:04:52Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/ErrataSheet page 75 The last sentence on the page should be changed from: Thus, the month can be extracted from a date by selecting field 2: to: Thus, the street can be extracted ... (last changed by SimonPerry) 2011-10-31T14:58:56Z SimonPerry http://www.vdmbook.com/twiki/bin/view/Main/SimonPerry My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2011-10-31T14:04:56Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/JoeKiniry My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2011-08-31T11:51:10Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/UnprocessedRegistrationsLog Report for Bulk Register JoeKiniry Added to users topic TWikiUsers: No LoginName specified setting to JoeKiniry Password set: 1 (1 success) Writing ... (last changed by MarcelVerhoef) 2011-08-31T11:14:47Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/UnprocessedRegistrations FirstName LastName Email WikiName Joe Kiniry kiniry #64;acm #46;org JoeKiniry MarcelVerhoef 31 Aug 2011 (last changed by MarcelVerhoef) 2011-08-31T11:14:09Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/MSystems Modelling Systems: Practical Tools and Techniques for Software Development: 2nd Edition John Fitzgerald and Peter Gorm Larsen, Cambridge University Press, 2nd Edition ... (last changed by MarcelVerhoef) 2011-06-06T15:44:14Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/ChristopheMeudec My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by ChristopheMeudec) 2010-11-26T14:56:56Z ChristopheMeudec http://www.vdmbook.com/twiki/bin/view/Main/SakoHiroshi My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-08-21T11:34:12Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/VDOOSJP VDM #12395; #12424; #12427; #12458; #12502; #12472; #12455; #12463; #12488; #25351; #21521; #12471; #12473; #12486; #12512; #12398; #39640; #21697; #36074; #35373 ... (last changed by SakoHiroshi) 2010-08-10T10:27:41Z SakoHiroshi http://www.vdmbook.com/twiki/bin/view/Main/JeremyBryans My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-07-30T16:37:49Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/AartVerweij My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-07-30T16:37:09Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/BinoyRavindran My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-07-30T16:36:17Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/PeterGormLarsen My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by PeterGormLarsen) 2010-06-08T06:25:19Z PeterGormLarsen