Re: Formalising UML semantics (VOTE)



Date view Thread view Subject view Author view Attachment view

From: Joaquin Miller (miller@joaquin.net)
Date: Tue 10 Jun 2003 - 21:14:20 BST


>If you made up your mind to formalise UML semantics and notations, which
>formal method would you prefer and why?.  Please all vote.

How about a sorted order two Henkin predicate logic?  (Or maybe order three?)

Date view Thread view Subject view Author view Attachment view