因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。
基于2010个网页-相关网页
因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。
基于4个网页-相关网页
因此，本文在UML模型中引入了形式化方法——行为时序逻辑(Temporal Logic of Actions,TLA)，提出一种方便有效的软件模型形式化描述和验证方法。
基于2个网页-相关网页