原创力文档- 7
- 0
- 约4.18万字
- 约 17页
- 2017-05-08 发布于上海
- 举报
Tracing Properties of UML and OCL Models with Maude 英文论文文献
TracingPropertiesofUMLandOCLModels
withMaude
FranciscoDur′an
MartinGogolla
ETSIInform′atica.UniversidaddeM′alaga,Spain
UniversityofBremen,Germany
ManuelRold′an
ETSIInform′atica.UniversidaddeM′alaga,Spain
ThestartingpointofthispaperisasystemdescribedinformofaUMLclassdiagramwheresystem
statesarecharacterizedbyOCLinvariantsandsystemtransitionsarede?nedbyOCLpre-andpost-
conditions. Theaimofourapproachistoassistthedeveloperinlearningabouttheconsequences
ofthedescribedsystemstatesandtransitionsandabouttheformalimplicationsoftheproperties
thatareexplicitlygiven. Weproposetodrawconclusionsaboutthes
您可能关注的文档
- Towards an Intelligent Tutor for Mathematical Proofs 英文论文文献.doc
- Towards an understanding of barriers to condom use in rural Benin using the Health Belief Model A cross sectional survey 英文论文文献.doc
- Towards an automatic classification of protein structural domains based on structural similarity 英文论文文献.doc
- Towards classifying species in systems biology papers using text mining 英文论文文献.doc
- Towards an Age-Phenome Knowledge-base 英文论文文献.doc
- Towards an intraoperative engineering of osteogenic and vasculogenic grafts from the stromal vascular fraction of human adipose tissue 英文论文文献.doc
- Towards Efficient Exact Synthesis for Linear Hybrid Systems 英文论文文献.doc
- Towards defining criteria for metformin usage in management of Gestational Diabetes Mellitus. 英文论文文献.doc
- Towards Ideal Quantum Dots 英文论文文献.doc
- Towards Cancer Hybrid Automata 英文论文文献.doc
- 十五五规划下科研仪器与试剂国产化对创新药研发的成本影响.pptx
- 十五五规划下生物防治技术迎来规模化投资窗口.pptx
- 十五五规划下生物医药基因疗法安全性监测投资机遇及体系.pptx
- 十五五规划下医药领域地理因素与区域流行病学的投资指向.pptx
- 合规红线与避坑实操手册(2026)《NBT 11517-2024矿用提升容器重要承载件无损检测方法与判定规则》.pptx
- 合规红线与避坑实操手册(2026)《NBT 11520-2024煤矿井下顺槽刮板转载机用迈步自移装置》.pptx
- 合规红线与避坑实操手册(2026)《NBT 11537-2024煤矿在用卡轨人车检测检验规范》.pptx
- 合规红线与避坑实操手册(2026)《NBT 11540-2024煤和岩石耐磨性测定方法》.pptx
- 合规红线与避坑实操手册(2026)《NBT 11542-2024煤矿巷道笼式锚索底板锚注支护技术规范》.pptx
- 合规红线与避坑实操手册(2026)《NBT 11541-2024顺层定向长钻孔预抽煤巷条带煤层瓦斯区域防突技术规范》.pptx
最近下载
- 冀教版七年级下册英语精品教学课件 Unit 4 Lesson 1 What is friend.ppt VIP
- 2026年(完整版)《系统解剖学》练习题题库及答案.docx VIP
- 2026年中考第一次模拟考试：英语一模突破卷（河南专用）（解析版）.docx VIP
- 居家适老化改造指南.pdf VIP
- 喷水织机电控手册.pptx VIP
- 2025年四川(专升本)数学考试真题及参考答案.docx VIP
- 2026年中考第一次模拟考试：中考数学一模突破卷（河南专用）（解析版）.docx VIP
- 居家适老化改造指导手册.docx VIP
- 燃烧和火灾基本知识课件.pptx VIP
- 城市居家适老化改造指导手册.pdf VIP
文档评论（0）