TWiki's Main web

TWiki's Main web The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. http://www.vdmportal.org/twiki/bin/view/Main Copyright 2012 by contributing authors 2011-06-26T23:23:27Z RuiGoncalves http://www.vdmportal.org/twiki/bin/view/Main/RuiGoncalves 2011-06-26T23:23:27Z

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

RuiGoncalves WebHome http://www.vdmportal.org/twiki/bin/view/Main/WebHome 2011-03-09T20:19:04Z

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

PeterGormLarsen DonaldGarner http://www.vdmportal.org/twiki/bin/view/Main/DonaldGarner 2010-10-20T14:40:18Z

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

TWikiRegistrationAgent VDM10Semantics http://www.vdmportal.org/twiki/bin/view/Main/VDM10Semantics 2010-09-27T13:34:06Z

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)

JohnFitzgerald SRA http://www.vdmportal.org/twiki/bin/view/Main/SRA 2010-09-26T13:41:35Z

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)

JohnFitzgerald VDMpublications http://www.vdmportal.org/twiki/bin/view/Main/VDMpublications 2010-07-05T08:39:02Z

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)

JohnFitzgerald WebStatistics http://www.vdmportal.org/twiki/bin/view/Main/WebStatistics 2010-05-25T19:21:32Z

Statistics for Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ... (last changed by TWikiGuest)

TWikiGuest MuralBook http://www.vdmportal.org/twiki/bin/view/Main/MuralBook 2010-05-20T13:35:04Z

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)

JohnFitzgerald MondexCaseStudy http://www.vdmportal.org/twiki/bin/view/Main/MondexCaseStudy 2010-05-19T16:05:17Z

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)

JeremyBryans ZoeAndrews http://www.vdmportal.org/twiki/bin/view/Main/ZoeAndrews 2010-01-18T14:11:34Z