During the ______ phase of the software life cycle, formal methods may be used to prove the correctness of an algorithm.
a) specification
b) verification
c) testing
d) design
b.
You might also like to view...
The _________ contains the core parts of the operating system, including system binaries, system libraries, and configuration files.
A) ?data directory ? B) ?system directory C) ?cache directory ? D) ?mnt/sdcard directory
Critical Thinking QuestionsCase F-2Reese is in the middle of the biggest document he's ever created. It has so many layers that he's starting to get confused. He's starting to panic, because he can't keep the layer numbers straight in his head, and there are too many of them to track on the screen without losing his mind. Reese can't remember which objects have been placed on which layer because he failed to change the names of the levels as he created them. What is InDesign's automatic layer naming system?
A. There is no automatic layer naming system. B. Layers are automatically named using a random series of letters and numbers. C. Layers are automatically named using the next consecutive letter: Layer A, Layer B, Layer C... D. Layers are automatically named using the next consecutive number: Layer 1, Layer 2, Layer 3...
Case-Based Critical Thinking QuestionsCase 5-2Sana has successfully created a button for her document, but she is stymied about what to do next. She turns to her friend Alanna with some questions. When Sana clicks the button with a mouse and then releases it, what is the term Alanna uses for this action?
A. an event B. a handler C. a script D. a banner
In SharePoint, ________ sites bring all status, communication, and artifacts relevant to a project into one place
A) community B) project C) team D) blog