形式化说明语言相关硕士博士期刊学术论文 - 搜论网

形式化说明语言相关论文

用UML和Object—Z描述交互式系统的接口规格说明

随着图形用户界面的普及,交互已成为目前软件系统的一个重要特征.与传统的基于字符界面的软件系统相比,基于图形用户界面的软件系......

期刊

UML OBJECT-Z 描述交互式系统接口规格说明软件工程用户接口对象建模语言形式化说明语言 interactive system UML Ob

看过本文同时还关注