Please draw on material presented in lectures 7 & 8, as well as chapter 3 of both textbooks to answer the questions below.
- Please describe how you would answer question 3.1 from Chapter 3 of the textbook. Note that it is possible to have LTSA conclusively show that both processes generate the same LTS. As a hint, the FSP language specification reveals that it is legal to parallel compose a single process, like this:
A = (b -> c -> A). ||A_COMP = A.Note: It may be useful to generate screenshots of LTSA showing that S1 and S2 can indeed generate the same LTS.
- In section 3.1, the asynchronous model of concurrent execution is described. What three decisions had to be made to arrive at this model and what benefits does this model provide? What limitations does this model have (in other words, what questions can it not answer about concurrent programs)?
- In lecture 7, there is a slide entitled "Some benefit, then none". Describe what this slide was talking about; be sure to reference the argument that Brooks made about his "mythical man-month" in your answer.
- The concept of "team velocity" was introduced in Chapter 3 of our software development textbook. Provide a definition of this concept and show how it is used to estimate the number of productive workdays in an iteration. Return to your answer for question 2 of Review 2 and recalculate your iteration plan now that you know about the concept of velocity. Assume that your team had a velocity of 0.8, is it still possible to create an iteration plan that satisfies the constraints of that problem?
Please submit your work by sending me an e-mail with your answers contained in the body of the message or with your answers attached in a PDF document.
Do NOT submit .doc, .docx, .odt, or other document formats.
This review is due by 11:59 PM on Thursday, February 12th.