Suppose we find that a machine programmed with our insertion sort algorithm requires an average of one second to sort a list of 100 names.
How long do you estimate it takes to sort a list of 1000 names? How about 10,000 names?
Suppose that both a program and the hardware that executes it have been formally verified to be accurate. Does this ensure accuracy?
Suggest a design pattern that you encounter in a category of everyday things (e.g., consumer electronics, automobiles, appliances).Briefly describe the pattern.
What is a control specification?There are two different types of “states” that behavioral models can represent. What are they?