Software Engineering

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?

Solution: