课程文献中心 更多>>

关键词： 软件工程   企业信用信息公示系统   搜索集群   缓存集群  

摘要： 自2015年3月以来,国家提出加强商事制度改革后的事中事后监管,建立全国统一的企业信息公示大数据平台,把市场监管体系这张“网”织好织密。为此,国家工商总局立即着手研究建设“国家企业信用信息公示系统”。全国统一部署,各省分部实施研究和建设。本文以省级信用信息公示系统研究与建设作为选题。本文按照软件开发流程,开展实地业务调研,根据实际工作总结分析系统建设相关内容。实现国家及国家工商总局对省级工商关于《全国信用信息公示系统》的建设要求,并充分融合国家工商总局对该项目的具体指导意见,以信息公示为目的、以现有公示为前提、以现有基础设施为支撑、以实现信息共享为重点、以大数据分析为手段、以安全及运维体系为保障的企业信用信息公示平台。针对XX省企业信用信息公示系统现状调查和需求分析,从省级系统的五大建设方向开展研究与建设。开展系统的五大建设任务,改扩建XX省现有的企业信用信息公示系统及地方协同监管平台。采取国家统一的接口,优化省级公示系统结构。采用Elastic Search搜索集群和Redis缓存集群技术,分别来支撑系统的搜索服务和减轻数据库的压力,提升系统的整体性能。同时,采用若干相关新技术增强了统计分析部分功能。协同监管平台强化和突出了严重违法失信企业信息管理、联合惩戒、双告知、简易注销和失联企业分析等功能。公示系统经功能、性能测试结果基本符合设计要求,新技术应用为系统稳定性和性能带来较大提升。

关键词： “互联网+”   软件工程   实践能力  

摘要： "互联网+"背景下软件工程人才实践能力培养要摆脱偏重理论教学的局限。要从课堂教学、实践教学和社会实践三个方面有效响应"互联网+"软件工程人才需求。通过分析软件工程人才实践能力培养的思路和模式,积极实现人才培养与"互联网+"软件工程人才需求互动,提升软件工程人才实践能力培养水平。

关键词： 时态逻辑   命名逻辑   软件工程   发展展望  

摘要： 时态逻辑(又称时序逻辑、时间逻辑)作为描述根据时间限定的命题或推理所使用的任意规则和符号系统,是模态逻辑的一个重要分支。在命题逻辑的基础上,Arthur Norman Prior在上个世纪50年代几乎独自创建了这一现代逻辑的重要分支的基础,对时态逻辑的发展具有里程碑意义,被视为"时态逻辑之父"。从上个世纪80年代开始,在其他学科如:计算机科学、数学、人工智能以及语言学等的发展需要的促进下,时态逻辑获得了新的进一步的发展,从而形成了一些不仅具有理论意义而且也有丰富的实际应用价值的成果。

ISBN: (纸本)9787111580966

关键词： 软件工程   中国科学技术协会   中国电子学会  

摘要： 《电子技术与软件工程》杂志,是由中国科学技术协会主管、中国电子学会主办的国内外公开发行的一份国家级综合性的权威科技类半月刊,国内刊号:CN10-1108/TP;国际刊号:ISSN2095-5650,旨在全方位推广电子各专业技术以及软件工程新技术、新成果。本刊创刊伊始,得到了中国科学技术协会及中国电子学会领导的高度重视,要求杂志社要倾力打造一本服务于电子技术及软件工程领域的企事业单位。本刊已被中国知网、中文科技期刊、龙源国际期刊网全文收录。

关键词： 作业内容   作业形式   软件工程  

摘要： 研究软件工程课程作业内容、形式的优化研究.主要研究内容包括:对软件工程课程进行作业的设计,使得作业针对性强、能够激发学生的兴趣、并且作业可以做到分层次布置作业、作业形式多样化;研究改革做作业的方式方法.

关键词： 程序设计   软件工程   检测技术  

摘要： 由计算机技术和程序设计延伸形成的一种逻辑实体称为软件。软件工程的特点就是复杂性强、范围广泛、规模大,具体有系统平台模式、设计语言、数据库等多种内容。研究软件的时候还需要处理开发、后期的管理维护,保证可靠性以及正确性。目前软件工程技术的关注度越来越高,已经和人们的生活和社会的发展密切相关。软件系统中经常出现环境异常、恶意攻击等问题,造成系统的失效、不利于未来的长久性发展。

关键词： 软件工程   课程实践   体系构建  

摘要： 高校作为人才培养重要基地,为了满足企业对专业人才的需求,加强了软件工程专业学生的实际操作能力,相应开展了课程实践教学。但在实际教学过程中,仍存在许多问题,本文就这些问题进行了详细说明,并对加强软件工程专业实践教学体系构建提出了具体有效建议。

关键词： 软件工程  

ISBN: (纸本)9787111562610

关键词： 软件工程   课程体系   计算机教育  

摘要： 随着我国经济技术的快速发展,我国计算机科技技术已经有着很大的进步。现在网络的使用非常普遍,随着计算机林领域的快速发展,各行各业的其他领域的进步发展也都参与其中。随着多年的发展计算机科学已经不能满足对整个学科的概括,所以将计算机科学细分为计算机科学技术、计算机工程、软件工程以及信息系统这四个学科。而上面提到的计算机学科则是一个学科群的总称,不能代表其中任意一个学科。本文根据我们国家各类学校以及培训机构的软件工程专业的整体课程安排进行了分析,并且根据本专业课程的整体发展方向提出了可行性建议。