搜索筛选:
搜索耗时1.1480秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
类      型:
[期刊论文] 作者:侯金奎,万建成,王帅强, 来源:计算机工程 年份:2007
平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术,但目前还没有针对该转换的有效的解决方案.从软件工程的实施出发,以抽象代数理论为基础,同时考......
[期刊论文] 作者:侯金奎,万建成,王帅强, 来源:四川大学学报:工程科学版 年份:2007
为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视...
[期刊论文] 作者:王帅强,万建成,鹿旭东,卢雷,, 来源:计算机工程 年份:2007
为实现软件体系结构指导下的软件工程设计,该文提出了一个在体系结构指导下、支持自动生成的用户界面工程开发方法.该方法把界面的体系结构作为工程模型的直接描述对象,在界...
[期刊论文] 作者:王帅强,万建成,侯金奎,冯仕红,, 来源:计算机工程 年份:2007
对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方...
相关搜索: