位置：成果数据库 > 期刊 > 期刊详情页
Graph Transformations for Object-Oriented Refinement
  • 时间：0
  • 相关项目：复杂状态程序和系统的语义模型研究
同期刊论文项目
复杂状态程序和系统的语义模型研究
期刊论文 4 会议论文 19
同项目期刊论文
From Statecharts to Verilog: a formal approach to hardware/software co-specification
Using UML for Specification and Refinement of Software Architectures
基于UML的软件结构规范与精化