[发明专利]用于接口的协作衍生的方法和系统有效
申请号: | 200710152478.6 | 申请日: | 2007-10-15 |
公开(公告)号: | CN101174212A | 公开(公告)日: | 2008-05-07 |
发明(设计)人: | 马丁·克隆普;雅克·J·拉布里;玛丽·A·罗思 | 申请(专利权)人: | 国际商业机器公司 |
主分类号: | G06F9/44 | 分类号: | G06F9/44 |
代理公司: | 北京市柳沈律师事务所 | 代理人: | 邸万奎;黄小临 |
地址: | 美国纽*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 提供了用于接口的协作衍生的方法和系统。基于规范模型来构建软件组件的控制流。在各种实施例中,规范模型包括至少一个输入、以及引用该至少一个输入的至少一个需求。基于控制流以及规范模型的至少一个输入和至少一个需求来生成软件组件的至少一部分实现。在某些实施例中,规范模型还包括至少一个输出,并且软件组件的至少一部分实现也基于该至少一个输出。 | ||
搜索关键词: | 用于 接口 协作 衍生 方法 系统 | ||
【主权项】:
1.一种计算机实现的方法,包括:基于规范模型来构建软件组件的控制流,所述规范模型包括至少一个输入和引用所述至少一个输入的至少一个需求;以及基于所述控制流、以及所述规范模型的所述至少一个输入和所述至少一个需求,生成所述软件组件的至少部分实现。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国际商业机器公司,未经国际商业机器公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200710152478.6/,转载请声明来源钻瓜专利网。
- 上一篇:用于输送和操作轮胎和车轮的系统
- 下一篇:半导体存储装置及其制造方法