软构件设计相关硕士博士期刊学术论文 - 搜论网

软构件设计相关论文

UML-RT模型到实时多任务图形设计环境的变换

本文为解决将UML-RT建模模型平滑过渡到实时多任务图形化的软构件设计开发环境的设计模型,提出了从UML-RT的结构模型变换到该环境......

会议

UML-RT模型实时多任务图形状态图建模软构件设计开发环境

形式化面向对象建模、规范、证明与应用

该文针对离散事件系统的状态复杂性和同步并发等动态特性,从软件设计和规范证明的角度,提出一种基于代数规范的形式逻辑和面向对象......

学位

离散事件系统形式化规范面向对象软构件设计 CafeOBJ

看过本文同时还关注