类别代数相关硕士博士期刊学术论文 - 搜论网

类别代数相关论文

面向对象代数Petri网OOAPN的形式化建模方法

建模是软件系统开发过程中需求分析环节最重要的部分，选择有效的建模工具成为需求分析过程中的关键问题。 OOAPN（Object-Oriented Al......

期刊

OOAPN 类别代数面向对象 Petri网建模

程序正确性验证的几个问题

计算机软件的发展受着许多因素的影响,它滞后于硬件,其安全性、可靠性和稳定性一直是人们关注的几个重要问题。随着大型软件的......

学位

形式化验证统一建模语言模型检验函数式语言副作用抽象数据类型类别代数图灵机

看过本文同时还关注