Session discussing requirements, UML modelling and formal methods.
Some presentations used attached.
Also some attempts at the question quoted in this chapter (not sure which year it appeared- possibly 1997)- most failed to answer the question asked but do have some content applicable to the more general topic.
Some presentations used attached.
Also some attempts at the question quoted in this chapter (not sure which year it appeared- possibly 1997)- most failed to answer the question asked but do have some content applicable to the more general topic.
PJW