Determining the Feasibility Of Building a Windows Z Specification Tool

Ziegler, Stephen Vincent, Department of Computer Science, University of Virginia
Knight, John, Department of Computer Science, University of Virginia

I have determined that it is feasible to build a Windows Z Specification tool. Through the use of rapid prototyping, I have discovered that a Windows Z Specification tool can be built using Visual Basic, Microsoft Word and Z/EVES. The report describes the problem, scope and rationale of the project. It also describes the interface and functionality of the tool. There is a discussion on the prototyping methodology that was used and how the two major groups of prototypes were built. Each of the initial prototypes and communication prototypes is described in detail. The final chapter presents a summary and interpretation of the findings and also provides recommendations for future work.

BS (Bachelor of Science)

Thesis originally deposited on 2011-12-29 in version 1.28 of Libra. This thesis was migrated to Libra2 on 2016-11-30 15:22:38.

All rights reserved (no additional license for public reuse)
Issued Date: