专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果3个,建议您升级VIP下载更多相关专利
  • [发明专利]软件生成方法-CN200480027287.1无效
  • M·梅杰里;B·克塔里;H·藤田 - 珂特那株式会社
  • 2004-09-22 - 2006-11-01 - G06F9/44
  • 使用进程代数,将软件的自动生成过程和借助于Lyee生成的软件的语义形式化。本发明具备:第1步骤,按每个逻辑体、按该逻辑体上的每个单词,根据单词名、定义式、该定义式的执行条件、输入输出属性、单词值的属性来声明(规定)作为1个程序而安装的用户要件;第2步骤,根据单词单位的声明,作成模块化的逻辑要素(L2、L3、L4)作为具备Lyee计算法的输入输出通道的进程单元以及作用要素(I2、O4、S4);第3步骤,将上述逻辑要素和作用要素集合化为集合,该集合以利用来自同一画面的命令产生相互作用为集合条件;第4步骤,按每个上述集合分别配置1个控制函数模块Ф;以及第5步骤,为上述程序配置1个控制函数模块Ψ。
  • 软件生成方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top