摘要
介绍并讨论了在系统开发过程中使用UML(UnifiedModelingLanguage)与其他形式化方法得到的一种精化模型,而且这一模型也同样支持形式化的分析和验证.
A refinement model during the development process is introduced and discussed by using UML (the Unified Modeling Language) and other formal notaions. It can support formal analysis and veriffcation. Surely it can also be used in the developments for some critical systems. This refinement model is introdused through a simple example of a traffic light control system.
出处
《西南师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2003年第2期203-208,共6页
Journal of Southwest China Normal University(Natural Science Edition)
