原创力文档state based static and dynamic formal analysis of uml state diagrams基于状态静态和动态的形式分析uml状态图.pdfVIP
- 1
- 0
- 约6.24万字
- 约 9页
- 2017-08-29 发布于上海
- 举报
state based static and dynamic formal analysis of uml state diagrams基于状态静态和动态的形式分析uml状态图
Journal of Software Engineering and Applications, 2012, 5, 483-491 483
/10.4236/jsea.2012.57056 Published Online July 2012 (http://www.SciRP.org/journal/jsea)
State Based Static and Dynamic Formal Analysis of UML
State Diagrams
Fahad Alhumaidan
Department of Computer Science, College of Computer Sciences and Information Technology, King Faisal University, Hofuf, KSA.
Email: falhumaidan@.sa
Received March 28th, 2012; revised April 25th, 2012; accepted May 11th, 2012
ABSTRACT
Design and specification is a serious issu
您可能关注的文档
- specific viruses detected in nigerian children in association with acute respiratory disease特定的病毒在尼日利亚发现孩子与急性呼吸道疾病.pdf
- specificities, obstacles and limits to building customer loyalty in mountain resort luxury hotels特异性,障碍和限制在山区度假胜地豪华酒店建立起顾客对品牌的忠诚度.pdf
- some new generalizations of hardy's integral inequality哈代的积分不等式的一些新的概括.pdf
- specific conditions for resveratrol neuroprotection against ethanol-induced toxicity具体情况对ethanol-induced毒性白藜芦醇神经保护.pdf
- species-specific relationships between water transparency and male coloration within and between two closely related lake victoria cichlid species特有的水透明度和男性颜色之间的内部和之间的关系两个紧密相关的维多利亚湖丽鱼科的物种.pdf
- specific roles of micrornas in their interactions with environmental factors特定的角色与环境因素相互作用的小分子核糖核酸.pdf
- specifying the global execution context of computer-mediated tasks a visual notation and a supporting tool指定全球电脑仲介任务的执行上下文视觉符号和支持工具.pdf
- specifying process views for a measurement, evaluation, and improvement strategy指定流程视图测量、评估和改进策略.pdf
- spectophotometric method for determination of certain cephalosporins using 4-chloro-7-nitrobenzo-2-oxa-1,3-diazole (nbd-cl)使用4-chloro-7-nitrobenzo-2-oxa-1 spectophotometric方法测定某些头孢菌素,3-diazole(nbd-cl).pdf
- spectral analysis of solar variability and their possible role on the global warming光谱分析太阳能可变性在全球变暖及其可能的作用.pdf
- 科技行情结束了吗？.docx
- 工控&电网25Q4&26Q1总结：工控进一步复苏，电网景气度保持.docx
- 寻找中国保险的Alpha系列之五：保险还要买多少红利？.docx
- 消费级AR眼镜系列报告（三）：AR眼镜核心技术：光波导演进、材料革新与微显示升级.docx
- 北交所策略专题报告：掘金精细化育儿新需求：北交所母婴产业链的辅食、卫生用品与营养品机遇.docx
- 超高性能混凝土（UHPC）材料：在建筑幕墙中的应用.docx
- 环保行业周报：SAF价格创新高，UCO价格有望补涨.docx
- 国防军工行业投资策略：军贸与商业航天共振，静待新质战斗力订单催化.docx
- 计算机行业“一周解码”：豆包开启付费订阅测试，Anthropic发力C端，大模型商业化加速中.docx
- 传媒行业5月投资策略：关注AI应用叙事逻辑改善可能，把握游戏与IP潮玩底部机会.docx
最近下载
- 部编版五年级语文下册词语表看拼音写词语田字格日积月累.docx VIP
- 2025至2030FinFET技术行业产业运行态势及投资规划深度研究报告.docx
- 2025年安徽省中考数学试卷真题（含标准答案）.pdf VIP
- 部编版六年级下册看拼音写词语.pdf VIP
- 老年人经络与穴位保健指南.pptx VIP
- （共21页PPT）课时9422武术散打直拳技术武术散打直拳技术.pptx VIP
- 部编版(统编版)六年级语文下册看拼音写词语(田字格)及日积月累含答案.pdf VIP
- 65岁老年人穴位保健.pptx VIP
- 热压成型机液压系统毕业设计说明书推荐.doc VIP
- 智慧物流ppt模板.pptx VIP
文档评论（0）