http://www.vdmportal.org/twiki/bin/view/Main The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. en-us Copyright 2012 by contributing authors Main.PeterGormLarsen [webmaster@vdmportal.org] The contributing authors of TWiki TWiki http://www.vdmportal.org/twiki/bin/view/Main http://www.vdmportal.org/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://www.vdmportal.org/twiki/bin/view/Main/DonaldGarner My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by JohnFitzgerald) 2012-03-05T20:54:13Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/WebHome Welcome to the VDM Portal VDM (The Vienna Development Method) is a set of techniques for modelling computing systems, analysing models and progressing to detailed ... (last changed by JohnFitzgerald) 2012-03-05T12:56:37Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/RuiGoncalves My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by RuiGoncalves) 2011-06-26T23:23:27Z RuiGoncalves http://www.vdmportal.org/twiki/bin/view/Main/VDM10Semantics VDM Research Agenda: Semantics Strand Contacts: Nico Plat and John Fitzgerald The research agenda is mid revision. Sorry for the state of this page at the moment ... (last changed by JohnFitzgerald) 2010-09-27T13:34:06Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/SRA The VDM Research Agenda The research agenda is mid revision. Sorry for the state of this page at the moment! Contact: John Fitzgerald The purpose of this agenda ... (last changed by JohnFitzgerald) 2010-09-26T13:41:35Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/VDMpublications VDM Publications Introductions to VDM with Tool Support John Fitzgerald and Peter Gorm Larsen, Modelling Systems: Practical Tools and Techniques for Software ... (last changed by JohnFitzgerald) 2010-07-05T08:39:02Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/MuralBook mural: a Formal Development Support System "mural: a Formal Development Support System" C B Jones, K D Jones, P A Lindsay and R Moore, Springer Verlag, 1991 ... (last changed by JohnFitzgerald) 2010-05-20T13:35:04Z JohnFitzgerald http://www.vdmportal.org/twiki/bin/view/Main/MondexCaseStudy Mondex in VDM Latest Status The abstract and concrete models have been proposed in executable VDM , plus pre/post specifications and are presented here. The abstract ... (last changed by JeremyBryans) 2010-05-19T16:05:17Z JeremyBryans http://www.vdmportal.org/twiki/bin/view/Main/ZoeAndrews My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:11:34Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/TiagoFernandes My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:07:21Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/TiagoAlves My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:06:55Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/TerriHoberg My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:06:36Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/TercioSoares My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:06:09Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/SteveRiddle My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:05:44Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/StephenBaines My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:05:24Z MarcelVerhoef http://www.vdmportal.org/twiki/bin/view/Main/SofiaMoreira My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2010-01-18T14:05:04Z MarcelVerhoef