Login | Register

On the transformation of a semi-formal software description to a VDM specification

Title:

On the transformation of a semi-formal software description to a VDM specification

D'Almeida, Juliette (1992) On the transformation of a semi-formal software description to a VDM specification. Masters thesis, Concordia University.

[thumbnail of MM84648.pdf]
Preview
Text (application/pdf)
MM84648.pdf
3MB

Abstract

This thesis concentrates on bridging the gap between the users and designers in the Requirements Analysis phase of software engineering.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:D'Almeida, Juliette
Pagination:xi, 127 leaves : ill. : 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1992
Identification Number:QA 76.76 D47D28 1992
ID Code:3827
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 19:32
Last Modified:13 Jul 2020 19:55
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