Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra

计算机科学 Petri网 统一建模语言 UML的应用 程序设计语言 组合性原则 理论计算机科学 随机Petri网 UML工具 模块化设计 图形重写 模型转换 活动图 语义学(计算机科学) 可执行文件 人工智能 图形 软件 一致性(知识库)
作者
Naoshi Tabuchi,Naoto Sato,Hiroaki Nakamura
出处
期刊:Springer eBooks [Springer Nature]
卷期号:: 41-58 被引量:6
标识
DOI:10.1007/11581741_5
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
爱静静应助Wo了喝采纳,获得10
1秒前
OnionJJ完成签到,获得积分10
2秒前
慕青应助快乐冰之采纳,获得10
2秒前
hivivian发布了新的文献求助10
3秒前
达令发布了新的文献求助10
4秒前
善学以致用应助霜降采纳,获得10
5秒前
8秒前
浅唱悲伤发布了新的文献求助10
10秒前
11秒前
充电宝应助桐tong采纳,获得10
11秒前
11秒前
ylyla发布了新的文献求助10
12秒前
12秒前
13秒前
13秒前
清脆慕儿完成签到,获得积分10
13秒前
Dr.Lee发布了新的文献求助10
15秒前
谷晋羽完成签到,获得积分10
15秒前
Mxxxc发布了新的文献求助50
16秒前
火星发布了新的文献求助30
16秒前
xyy发布了新的文献求助10
16秒前
guozizi发布了新的文献求助10
17秒前
思源应助达令采纳,获得10
17秒前
凡仔完成签到,获得积分10
17秒前
18秒前
20秒前
20秒前
23秒前
24秒前
华华发布了新的文献求助10
26秒前
holly发布了新的文献求助10
27秒前
丘比特应助柠檬精采纳,获得10
27秒前
记11发布了新的文献求助10
27秒前
28秒前
鸿鹄在天涯完成签到 ,获得积分10
29秒前
rorrons完成签到,获得积分10
30秒前
30秒前
31秒前
机智楼房发布了新的文献求助30
31秒前
高分求助中
进口的时尚——14世纪东方丝绸与意大利艺术 Imported Fashion:Oriental Silks and Italian Arts in the 14th Century 800
Glucuronolactone Market Outlook Report: Industry Size, Competition, Trends and Growth Opportunities by Region, YoY Forecasts from 2024 to 2031 800
Zeitschrift für Orient-Archäologie 500
The Collected Works of Jeremy Bentham: Rights, Representation, and Reform: Nonsense upon Stilts and Other Writings on the French Revolution 320
Equality: What It Means and Why It Matters 300
A new Species and a key to Indian species of Heirodula Burmeister (Mantodea: Mantidae) 300
Apply error vector measurements in communications design 300
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 冶金
热门帖子
关注 科研通微信公众号,转发送积分 3346174
求助须知:如何正确求助?哪些是违规求助? 2972939
关于积分的说明 8657179
捐赠科研通 2653379
什么是DOI,文献DOI怎么找? 1453124
科研通“疑难数据库(出版商)”最低求助积分说明 672752
邀请新用户注册赠送积分活动 662614