install VDM++ - CSKSYSTEMSCORPORATION VDMTools VDM++...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CSKSYSTEMSCORPORATION VDMTools VDM++ Installation Guide ver.1.1 How to contact CSK SYSTEMS CORPORATION: http://www.csk.com/systems Web @ [email protected] General information VDM++ Installation Guide 1.1 — Revised for VDMTools v8.0 c ⃝ COPYRIGHT 2008 by CSK SYSTEMS CORPORATION The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. This document is subject to change without notice VDM++ Installation Guide Contents 1 Introduction 1 2 Installing VDMTools on a Windows Platform 2 2.1 Installing the VDM++ Add-In for Rational Rose . . . . . . . . . 2 3 Installing VDMTools on a Unix Platform 3 3.1 Installing a Copy of VDMTools . . . . . . . . . . . . . . . . . . . 3 3.2 Installing VDMTools for Emacs . . . . . . . . . . . . . . . . . . . 3 4 How to get New Releases 4 i VDM++ Installation Guide ii VDM++ Installation Guide 1 Introduction This document describes how to install VDMTools. VDMTools can be installed on the following platforms: • PC/586, 686, running Windows 2000 or Windows XP. (Throughout thisPC/586, 686, running Windows 2000 or Windows XP....
View Full Document

This note was uploaded on 03/31/2010 for the course CAS 707 taught by Professor Ridhakhedri during the Spring '10 term at McMaster University.

Page1 / 8

install VDM++ - CSKSYSTEMSCORPORATION VDMTools VDM++...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online