A Formal Specification Method of the Temporal Constraint in ConceptualModels 11月 26, 202411月 26, 2005 by admin