计算机科学
Petri网
统一建模语言
UML的应用
程序设计语言
组合性原则
理论计算机科学
随机Petri网
UML工具
模块化设计
图形重写
模型转换
活动图
语义学(计算机科学)
可执行文件
人工智能
图形
软件
一致性(知识库)
作者
Naoshi Tabuchi,Naoto Sato,Hiroaki Nakamura
出处
期刊:Springer eBooks
[Springer Nature]
日期:2005-01-01
卷期号:: 41-58
被引量:6
科研通智能强力驱动
Strongly Powered by AbleSci AI