期刊在线

快速论文发表热线: 010-57745461

客服中心

全国免费咨询:

QQ : 点击这里给我发消息 3077874057


电话:010-57745461


邮箱: hexinon@163.com


邮箱:hexinon@126.com

期刊库导航

行业资讯

最新论文

最热论文

软件开发过程论文

2017-12-04 10:00:55  字体:   打印 收藏 

摘 要:软件开发过程中的形式化方法 摘 要:本文简要介绍了软件开发过程中使用的形式化方法,典型的规范说明语言以及有关的实践活动。 推荐期刊:《计算机科学》 期刊简介:《计算机科学》创刊于1974年1月,由重庆西南信息有限公司(原科技部西南信息中心)主管主办。

关键词:软件开发过程论文


  软件开发过程中的形式化方法

  摘 要:本文简要介绍了软件开发过程中使用的形式化方法,典型的规范说明语言以及有关的实践活动。

  推荐期刊:《计算机科学》

  期刊简介:《计算机科学》创刊于1974年1月,由重庆西南信息有限公司(原科技部西南信息中心)主管主办。 《计算机科学》系中国科学引文数据库(CSCD)、北大中文核心、中国科技核心、中国期刊方阵双效期刊、中国计算机学会会刊,同时被美国剑桥科学文摘(CSA)、美国乌利希期刊指南(UPD)、日本科学技术振兴机构数据库(JST)收录。主要报导国内外计算机科学与技术的发展动态,涉及面广的方法论与技术和反映新苗头、能起承先启后作用的研究成果。主要栏目有:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像处理与模式识别等。 近年综合影响因子为:2012年0.526,2013年0.631,2014年0.630,2015年0.643;总被引频次依次为:2815,2991,3324,3516,4085。他引总引比0.93;基金论文比0.93;Web即年下载率23(以上数据均来源于中国学术期刊影响因子年报)。 《计算机科学》主编陈国良,系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生,从事计算机科学与技术领域的科研、生产人员。坚持 "前沿学科"与"基础研究"相结合、"核心核术"与"支撑技术"相结合、"倡导"与"争鸣"相结合,活跃计算机科学与技术领域的学术气氛,为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。 《计算机科学》真诚希望与国内外同仁建立友好往来,相互了解加强合作,共同为计算机科学事业作出贡献。

  主管单位:重庆西南信息有限公司(原科技部西南信息中心)

  主办单位:重庆西南信息有限公司(原科技部西南信息中心)

  主  编:陈国良

  刊  期:月刊

  开  本:16开

  创刊时间:1974-01-01

  邮发代号:78-68

  单  价:38.00

  定  价:456.00

  国内统一刊号:50-1075/TP

  国际标准刊号:1002-137X

  2017年 第S1期目录

  (1)多通道延时遥交互研究综述王海鹏;黄天彪;任崇帅;姚五一

  (7)半监督集成学习综述蔡毅;朱秀芳;孙章丽;陈阿娇

  (14)跨语言命名实体翻译对抽取的研究综述王志娟;李福现

  (19)基于深度学习的视觉跟踪算法研究综述贾静平;覃亦华

  (24)基于Xen的虚拟化访问控制研究综述柯文浚;董碧丹;高洋

[版权说明]本站论文版权属于作者本人,您可以参考、阅读、鉴赏本站论文,也可以利用本站论文进行论文创作,但不得抄袭、复制!本站免费论文主要来源于用户投稿和互联网,如果涉及到侵权问题,请联系我们予以删除。


上一篇:java软件开发论文 下一篇:计算机软件开发论文

联系我们

投稿咨询电话:010-57745461
投稿咨询QQ:3077874057
论文投稿邮箱:hexinon@163.com
投诉建议邮箱:hexinon@126.com
在线投稿

论文发表说明

1. 如果您需要发表论文,请联系我们,客服人员会及时处理;
2. 专业编辑人员,为您的论文提供建议,使论文顺利发表;
3. 合作期刊,全国最全,与杂志社关系稳定,保证刊期。