Question
a.
They are fully formalizable and executable.
b.
They serve as a replacement for formal principles.
c.
They can be justified through formal verification.
d.
They are not themselves fully formalizable.
Posted under Human Computer Interaction
Engage with the Community - Add Your Comment
Confused About the Answer? Ask for Details Here.
Know the Explanation? Add it Here.
Q. What is a key aspect of the informal principles derived from formal analyses?
Similar Questions
Discover Related MCQs
Q. What is the primary focus of the PIE model?
View solution
Q. In the PIE model, what is the role of the "effect" (E)?
View solution
Q. What is the purpose of the state transition function "doit" in the PIE model?
View solution
Q. Which statement describes the relationship between the interpretation function "I" and the state transition function "doit"?
View solution
Q. At what levels of abstraction can the PIE model be applied?
View solution
Q. What does WYSIWYG stand for?
View solution
Q. How many interpretations of WYSIWYG does Harold Thimbleby mention?
View solution
Q. What is the property of "result transparency" in the context of observability?
View solution
Q. What is the key difference between "result transparency" and "transparency"?
View solution
Q. What is the term used to describe the process by which a user explores the current state of an interactive system?
View solution
Q. What is the advantage of a passive strategy for observing the system's state?
View solution
Q. What is the "observable effect" in the context of an interactive system?
View solution
Q. What does the principle of "result observability" state?
View solution
Q. What does the principle of "full predictability" require?
View solution
Q. What does the principle of "reachability" in interactive systems address?
View solution
Q. hat issue does the principle of "reachability" help prevent?
View solution
Q. What is the key characteristic of a system that is "reachable"?
View solution
Q. Why might the principle of "reachability" alone not be sufficient to ensure user satisfaction?
View solution
Q. What is the main requirement for an undo feature in interactive systems?
View solution
Q. What formal condition defines the behavior of the undo feature?
View solution
Suggested Topics
Are you eager to expand your knowledge beyond Human Computer Interaction? We've curated a selection of related categories that you might find intriguing.
Click on the categories below to discover a wealth of MCQs and enrich your understanding of Computer Science. Happy exploring!
