Login | Register

VDM/C++ : a design and implementation framework

Title:

VDM/C++ : a design and implementation framework

Lou, Youchen (1994) VDM/C++ : a design and implementation framework. Masters thesis, Concordia University.

[img]
Preview
Text (application/pdf)
MM90854.pdf
4MB

Abstract

Presents a framework for deriving C++ implementation from VDM specifications; in 2 steps: from VDM specification to an object-oriented design and from this design to C++ classes.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Lou, Youchen
Pagination:ix, 126 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1994
Thesis Supervisor(s):Alagar, V. S
Identification Number:QA 76.76 D47L74 1994
ID Code:5520
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 19:55
Last Modified:13 Jul 2020 20:00
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top