系统静态模型相关硕士博士期刊学术论文 - 搜论网

系统静态模型相关论文

信息系统建模的OCL约束检查和确认

信息系统静态模型通常由UML类图和OCL约束两部分构成.在实现信息系统之前,希望对其进行检查和确认,以保证所建模型的正确性.而OCL......

会议

信息系统建模元模型检查信息系统模型系统静态模型核心元素语言框架用户应用程序系统状态对象实例原理描述构成工具

看过本文同时还关注