规格说明语言相关硕士博士期刊学术论文 - 搜论网

规格说明语言相关论文

形式方法与面向对象方法的结合探讨

文中讨论了形式方法和面向对象方法各自的优缺点,结合作者设计的面向对象形式规格说明语言OOZS,介绍了将这两种方法结合起来的三种......

期刊

软件工程规格说明语言形式方法面向对象方法

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了......

期刊

自动制造系统规格说明语言 Petri网进程迹事件资源

看过本文同时还关注