The objective of phase i of this proposal is to determine the applicability to human factors research of an automated software design tool. this tool, the use, it methodology, was designed to formalize and automatically check complex interactions within systems. it provides a capability to prototype…
More