http://www.vdmbook.com/twiki/bin/view/Main The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. en-us Copyright 2010 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/WebHome Current Books on VDM This web site supports the use of two current texts on VDM. "Modelling Systems" (Fitzgerald Larsen, 2nd edn., 2009) is the main guide to the ... (last changed by MarcelVerhoef) 2010-01-18T11:11:55Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/ZoeA My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T11:05:25Z MarcelVerhoef 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) 2010-01-15T06:44:14Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/MSExamples VDM SL Examples from the "Modelling Systems" book acs.vdm alarm.vdm alarmerr.vdm changeexpert.vdm explo1.vdm explo2.vdm gateway ... (last changed by PeterGormLarsen) 2009-10-15T19:09:06Z PeterGormLarsen 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 PeterGormLarsen) 2009-10-15T09:39:17Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/ErrataSheetMS Errata Sheet for the 2nd edition of "Modelling Systems: Practical Tools and Techniques in Software Development" Page 5, last line: "or equal to" should be deleted ... (last changed by PeterGormLarsen) 2009-10-15T09:38:03Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/MSExMapsA Modelling Systems: Answers to Additional Exercises on Mappings 1. Students and courses types School :: students: set of Student classes : map Course ... (last changed by JohnFitzgerald) 2009-06-11T19:58:05Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExMapsQ Modelling Systems: Additional Exercises on Mappings 1. Students and courses In a educational institution there are students and courses which are all uniquely identified ... (last changed by JohnFitzgerald) 2009-06-11T19:54:52Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExercises Modelling Systems (2nd Edition): Additional Exercises This page contains exercises which supplement those in the book and which we have found useful in delivering ... (last changed by JohnFitzgerald) 2009-06-11T19:42:06Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExSeqsA Modelling Systems: Answers to Additional Exercises on Sequences 1. Basic Exercises 1. Evaluating 1. x x in set {2,...,5} x 2 3,4,5 ... (last changed by JohnFitzgerald) 2009-06-10T22:18:56Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExSeqsQ Modelling Systems: Additional Exercises on Sequences Exercises 2 3 are based on those supplied by Prof. Janusz Laski from Oakland University. 1. Basic Exercises ... (last changed by JohnFitzgerald) 2009-06-10T22:11:53Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExSetsA Modelling Systems: Answers to Additional Exercises on Sets 1. Basic Exercises Evaluating 1. {x x in set {2,...,5} x 2} {3,4,5} 2. {x x ... (last changed by JohnFitzgerald) 2009-06-10T19:55:15Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExSetsQ Modelling Systems: Additional Exercises on Modelling with Sets Exercises 2 3 are based on those supplied by Prof. Dines Bjørner of the Technical University of Denmark ... (last changed by JohnFitzgerald) 2009-06-10T19:54:32Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExLogicA Modelling Systems: Answers to Additional General Exercises 1. Evaluation 1. not (true and false) not false true 2. (true or false) (true false ... (last changed by JohnFitzgerald) 2009-06-08T19:27:52Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExLogicQ Modelling Systems: Additional Exercises on Logic Exercise 4 is based on one supplied by Prof. Janusz Laski from Oakland University. 1. Evaluation Given the following ... (last changed by JohnFitzgerald) 2009-06-08T19:20:25Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/MSExGeneralA Modelling Systems: Answers to Additional General Exercises 1. Dynamic and static semantics for a small language (hard) Static Semantics In order to check, if ... (last changed by JohnFitzgerald) 2009-06-08T19:13:13Z JohnFitzgerald