Now showing items 1-3 of 3
Applying an Operational Formal Method to Safety-Critical Systems
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
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
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 ...