发表服务
摘要： 在当今泛在计算和软件定义的大趋势下, 形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法, 渗透到软件工程的全寿命周期. Event-B作为一种“构造即正确”的方法, 为软件工程形式化方法的应用提供了支撑. 本文对现有的基于Event-B的软件工程形式化 ...
计算机类部分期刊杂志投稿信息 1、《计算机工程与设计》和《计算机应用与软件》核心，相对来讲比较好中。 2、《计算机应用研究》国家一级期刊，核心，录用率60%, 通知得较快。 3、《计算机工程》中文核心，最大优点是审稿快。
简介：《自动化学报》 (月刊)创刊于1963年，是中国自动化学会、中国科学院自动化研究所共同主办的高级学术期刊。. 刊载自动化科学和技术领域的高水平理论性和应用性的科研成果。. 内容如下：1)自动控制2 )系统理论和系统工程3 )自动化工过程技术和应用4 ...
基于模型的系统工程与SysML应用研究 被引量： 9. 基于模型的系统工程与SysML应用研究. 摘要 随着系统的复杂程度不断提高，传统的基于文档的系统工程面对数量庞杂的文档中信息的查找、理解及更改都困难重重。. 模型则以它直观、无歧义、模块可重用等优点 ...
培养德、智、体、美、劳全面发展，掌握计算机科学基础理论、计算机软硬件系统及应用知识，系统地掌握云计算的基本理论、基本方法与基本技能，具备一定的工程运维经验，能从事云计算系统设计、云计算产品开发、产品集成、云计算技术、存储技术、信息系统安全保卫的高素质技能型人才。
版权所有：软件工程杂志社 地址：辽宁省沈阳市浑南区新秀街2号 邮政编码：110179 电话：0411-84767887 传真：0411-84835089 Email：semagazine@neusoft.edu.cn
人工智能在航空航天领域中的应用，徐振耀-系统工程与电子技术1993年第03期杂志在线阅读、文章下载。 本文从人工智能的概念出发,根据国内外文献,综述了人工智能技术在航空航天领域的应用。
期刊多 范围广 发表快论文知识小站携手600多家正规学术杂志，为评职称人员搭建期刊投稿通道，可投稿期刊范围广，每个行业期刊都有编辑把关职称论文文章质量，并予以一定的修改建议，让职称论文发表更顺利、快速。 专业 成熟 可靠 正规在期刊论文发表方面，论文知识小站的编辑有十多年的 ...
本频道是计算机应用期刊专题页,为大家分享计算机应用系统期刊，计算机应用期刊怎么样等相关内容，帮助大家选择合适的期刊进行投稿，提升论文期刊投稿的通过率。想了解学术会议，期刊投稿相关信息的同学，也可以在本页面点击浏览。
本刊为专业技术性刊物。介绍我国计算机软件、硬件工程与技术的研究、开发与应用成果。主要栏目有计算机科学理论、计算机系统研制。软件研制、计算机设计。数据库设计、计算机辅助设计以及国外计算机动态等。读者对象为科研院所工程技术人员及大专院校计算机专业师生。
摘要： 在当今泛在计算和软件定义的大趋势下, 形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法, 渗透到软件工程的全寿命周期. Event-B作为一种“构造即正确”的方法, 为软件工程形式化方法的应用提供了支撑. 本文对现有的基于Event-B的软件工程形式化 ...
计算机类部分期刊杂志投稿信息 1、《计算机工程与设计》和《计算机应用与软件》核心，相对来讲比较好中。 2、《计算机应用研究》国家一级期刊，核心，录用率60%, 通知得较快。 3、《计算机工程》中文核心，最大优点是审稿快。
简介：《自动化学报》 (月刊)创刊于1963年，是中国自动化学会、中国科学院自动化研究所共同主办的高级学术期刊。. 刊载自动化科学和技术领域的高水平理论性和应用性的科研成果。. 内容如下：1)自动控制2 )系统理论和系统工程3 )自动化工过程技术和应用4 ...
基于模型的系统工程与SysML应用研究 被引量： 9. 基于模型的系统工程与SysML应用研究. 摘要 随着系统的复杂程度不断提高，传统的基于文档的系统工程面对数量庞杂的文档中信息的查找、理解及更改都困难重重。. 模型则以它直观、无歧义、模块可重用等优点 ...
培养德、智、体、美、劳全面发展，掌握计算机科学基础理论、计算机软硬件系统及应用知识，系统地掌握云计算的基本理论、基本方法与基本技能，具备一定的工程运维经验，能从事云计算系统设计、云计算产品开发、产品集成、云计算技术、存储技术、信息系统安全保卫的高素质技能型人才。
版权所有：软件工程杂志社 地址：辽宁省沈阳市浑南区新秀街2号 邮政编码：110179 电话：0411-84767887 传真：0411-84835089 Email：semagazine@neusoft.edu.cn
人工智能在航空航天领域中的应用，徐振耀-系统工程与电子技术1993年第03期杂志在线阅读、文章下载。 本文从人工智能的概念出发,根据国内外文献,综述了人工智能技术在航空航天领域的应用。
期刊多 范围广 发表快论文知识小站携手600多家正规学术杂志，为评职称人员搭建期刊投稿通道，可投稿期刊范围广，每个行业期刊都有编辑把关职称论文文章质量，并予以一定的修改建议，让职称论文发表更顺利、快速。 专业 成熟 可靠 正规在期刊论文发表方面，论文知识小站的编辑有十多年的 ...
本频道是计算机应用期刊专题页,为大家分享计算机应用系统期刊，计算机应用期刊怎么样等相关内容，帮助大家选择合适的期刊进行投稿，提升论文期刊投稿的通过率。想了解学术会议，期刊投稿相关信息的同学，也可以在本页面点击浏览。
本刊为专业技术性刊物。介绍我国计算机软件、硬件工程与技术的研究、开发与应用成果。主要栏目有计算机科学理论、计算机系统研制。软件研制、计算机设计。数据库设计、计算机辅助设计以及国外计算机动态等。读者对象为科研院所工程技术人员及大专院校计算机专业师生。
发表服务