RE: Consistency Checking



Date view Thread view Subject view Author view

Mitch Kokar (kokar@coe.neu.edu)
Sat, 4 Aug 2001 10:01:00 -0400


Maryam, You can take a look at some of our papers on the formalization of UML, for instance, "Formal Verification of UML Diagrams: A First Step Towards Code Generation." (http://www.coe.neu.edu/~kokar/mypubl.html). There are other papers on my web site, too. You might find something of interest to you. Also, Jeff Smith's Ph.D. thesis: "UML Formalization and Transformation" (http://www.coe.neu.edu/~jsmith/papers/papers.html) We are in the process of writing two papers out of Jeff Smith's thesis. They should be available soon. Regards, ===Mitch Kokar > -----Original Message----- > From: puml-list-request@cs.york.ac.uk > [mailto:puml-list-request@cs.york.ac.uk]On Behalf Of maryam zand > Sent: Saturday, July 07, 2001 1:13 AM > To: puml-list@cs.york.ac.uk > Subject: Consistency Checking > > > Dear > I'm looking for consistency rules in UML diagrams. > Whould you help me? > > Thanks a Lot > Maryam, > > > _________________________________________________________________________ > Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com. > > > > > To remove yourself from this list please mail > puml-list-request@cs.york.ac.uk > with a message containing the word "unsubscribe". >


Date view Thread view Subject view Author view