Bernhard
【姓名】 Bernhard
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 RAISE,UML状态机,状态机,形式化,形式描述,视图,UML类图,形式化规范,视图模型,形式化模型,无二义性,语义解释,规范语言,抽象层次,图形化,简明性,最后通过,应用实例,Transition...
【工作单位】 澳门联合国大学
【曾工作单位】 澳门联合国大学;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 16 128
中国期刊全文数据库    共找到1篇
[1]孙猛,张乃孝,Bernhard K Aichernig.UML状态机视图的RSL形式描述(英文)[J]北京大学学报(自然科学版).2005,(03)
更多