Search
Now showing items 1-7 of 7
Applying an Operational Formal Method to Safety-Critical Systems
(1996-11-01)
Despite thirty years of study by the academic community, industry has not embraced the systematic usage of formal methods. To address this concern, a formal method is proposed which possesses many of the qualities that ...
A Simulation Tool for the Manufacturing Engineering Department's Flexible Manufacturing Cell
(1996-04-01)
The flexible manufacturing cell in the manufacturing engineering
department's computer integrated manufacturing systems lab is used to study manufacturing processes. A loop conveyor, an automated storage and retrieval ...
A Demonstration of Computer Assisted Instruction Using Authorware Professional to Teach Basic Theology
(1996-12-01)
The purpose of this thesis is to investigate principles which are basic to Computer Assisted Instruction and how Authorware Professional is able to make use of these principles.
A computer assisted instruction module will ...