针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
随后,运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述;
Then, we give a 'semiformalization' description of the model based on object oriented methodology.
随后,运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述;
Then, we give a 'semiformalization' description of the model based on object oriented methodology.
应用推荐