The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. http://www.vdmbook.com/twiki/bin/view/Main Copyright 2012 by contributing authors 2011-10-31T14:58:56Z http://www.vdmbook.com/twiki/bin/view/Main/ErrataSheet 2011-10-31T14:58:56Z

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)

SimonPerry http://www.vdmbook.com/twiki/bin/view/Main/SimonPerry 2011-10-31T14:04:56Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent)

TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/VDOOS 2011-09-19T16:14:26Z

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 DerekHosewood)

DerekHosewood http://www.vdmbook.com/twiki/bin/view/Main/JoeKiniry 2011-08-31T11:51:10Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/UnprocessedRegistrationsLog 2011-08-31T11:14:47Z

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)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/UnprocessedRegistrations 2011-08-31T11:14:09Z

FirstName LastName Email WikiName Joe Kiniry kiniry #64;acm #46;org JoeKiniry MarcelVerhoef 31 Aug 2011 (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/MSystems 2011-06-06T15:44:14Z

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)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/BookExamples 2011-04-07T08:48:09Z

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)

PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/ChristopheMeudec 2010-11-26T14:56:56Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by ChristopheMeudec)

ChristopheMeudec http://www.vdmbook.com/twiki/bin/view/Main/SakoHiroshi 2010-08-21T11:34:12Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/VDOOSJP 2010-08-10T10:27:41Z

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)

SakoHiroshi http://www.vdmbook.com/twiki/bin/view/Main/JeremyBryans 2010-07-30T16:37:49Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/AartVerweij 2010-07-30T16:37:09Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/BinoyRavindran 2010-07-30T16:36:17Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/WebHome 2010-07-27T12:25:04Z

Current Books on VDM This web site supports the use of two current texts on VDM. "Modelling Systems" (Fitzgerald Larsen, second edition, 2009) is the main guide ... (last changed by MarcelVerhoef)

MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/PeterGormLarsen 2010-06-08T06:25:19Z

My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by PeterGormLarsen)

PeterGormLarsen