Re: UseCases



Date view Thread view Subject view Author view

robert france (france@CS.ColoState.EDU)
Thu, 18 Jan 2001 07:30:11 -0700 (MST)


>PS. Could any one tell me if possible formalizing > >1-UML-Use Cases in Z language then, >2-Applying refinement calculus rules for implementation UML use cases. > >Regards, Look at the proceedings of UML'99 and you'll see a paper on formalizing Use Cases. This is a Springer-Verlag publication. It was not done in Z, but it will give you an idea of how to go about formalizing use cases. I've copied Ivan Porres, one of the authors, on this. Robert ==================================================================== Robert B. France, Assoc Professor | Tel: 970-491-6356 Computer Science Department | Fax: 970-491-2466 Colorado State University | Email: france@cs.colostate.edu Fort Collins, CO 80523 | www.cs.colostate.edu/~france/


Date view Thread view Subject view Author view