物联网工程专业中“软件语言课程”MOOC改革与实践

物联网工程专业人才培养需要学生具备使用软件工具开发与设计物联网系统的能力。为了提高物联网工程专业学生熟练使用软件语言开发工具,解决复杂工程中软件问题的能力,采用基于MOOC、任务驱动课程预习、按需翻转、阶梯式实践训练、多维管理成绩评定的软件语言课程教学改革,对两个行政班进行了试点对比实验。实验结果表明进行教学改革的班级在C#语言程序设计这门课程上成绩明显高于未教学改革的班级,学生对新的教学模式认可度高,同时提高了学生的自学、语言表达、团队合作、解决工程问题等能力。

关于计算机软件开发语言的研究

随着现代科技的不断发展，计算机在社会上的应用越来越广泛，对A．41＂l的生活和工作产生重大影响。计算机的正常运行离不开软件支持，软件的开发以及发展又需要软件语言作为基础，软件语言的开发对计算机的正常使用以及发展有着重要作用。本文主要对计算机中几种常用软件开发语言进行简单介绍。

基于XML和LINQ开发多语言应用软件

在.NET平台下,用C#语言结合LINQ to XML方法将界面显示信息从源程序中分离出来,保存在XML文档中并适时调用它及其语言副本,实现应用程序的多语言化。

软件开发语言使用调研及其对IT实践类课程体系优化的影响分析

以地方普通高校计算机科学与技术专业等相关专业毕业生就业后在工作中所用开发语言角度分析当前IT行业流行的技术和开发语言使用情况。分析研究为IT专业语言类实践课程的课程体系优化提供建议和参考,从而更好地培养符合用人市场需求的复合型、应用型IT技术人才。

软件图语言的形式描述

本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．

基于逻辑的软件演化操作语言及结构化操作语义

由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.

虚拟仪器系统软件结构描述语言的设计与应用

为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。

基于TCSP的实时软件体系结构描述语言的实现

在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。

利用VB语言实现组态软件组件的开发

组态软件是用于流程控制的上位机软件,在工业控制领域有着广泛应用。但是在实际开发过程中,软件开发者与实际工业控制人员在软件需求方面的沟通常常存在误解,本文说明了一种组态软件中组件开发的关键原理与应用方向,创新的使用了敏捷开发思想解决开发问题,以一套组态软件中的某一组件开发实例说明了开发流程,一定程度上解决了软件开发者与工业控制人员在需求对接方面的困难,为相关工作者提供了借鉴。

CEPDL:一个简约的软件演化过程建模语言

随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础.

用MCG组态软件语言实现控温轧制在线监测

本文介绍了控温轧制监测系统的组成，简要说明了MCGS组态语言的特点，该系统对于类似的控制亦有一定的参考价值。

REAL:面向可靠性评估的软件架构描述语言

为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。

一种基于XML的软件过程定义语言SPDL的设计

定义软件过程是软件企业使用CMM提高其能力成熟度的一个关键问题。论文参考工作流过程定义语言WPDL,充分考虑软件过程的特点,提出了一种软件过程定义语言SPDL。SPDL遵循CMM标准,它由XML扩展得到,用XML Schema描述,用SPDL进行过程建模,实现了一个基于CMM的软件质量保障平台。

多媒体语言教学软件

本文介绍了我们做的一个针对初学者的多媒体中文教学ＣＡＩ软件。该软件的设计思想是易学易用，用多媒体的表现方式增强信息传递能力，提高学生的兴趣，从而使初学者获得良好的学习效果。该软件用面向对象的软件工程方法制作，具有开发速度快和易于改进的优点。现在此软件已经在美国的市场上出售。

基于DCS的多语言编程软件的设计与实现

介绍IEC61131 3和多语言编程软件在DCS中的特殊要求,分别从编程软件的构架、功能块的设计实现、功能块的报警、功能块冗余的机制及控制程序在线下载、运行库的执行方式和软仿真等几个方面展开论述,建立起符合IEC61131 3的独立于平台的DCS多语言编程软件的设计与实现方案。

机辅语言学习软件概览

本文在简述了机辅语言学习软件的发展史后 ,分别介绍了该类软件在外语阅读、写作和视听说学习方面的功用及不足之处 ,最后指出了该类软件的将来发展趋势。

外语教学中语言学习软件使用评析

计算机技术对语言学习是有影响的。本文对现有语言学习软件进行分类和功能比较,指出语音识别技术应用于语言学习软件设计的可能性,并讨论其设计原则,提出了三种利用语言学习软件进行外语教学的策略。

语言学习软件中应运用语音识别技术

提到语言学习软件人们常常会想到文曲星、科利华等很多相关品牌的名词。的确，计算机辅助语言学习中语言学习软件是一个不可或缺的方面，但目前国内大量的这类软件仅仅停留在学习者简单操练的模式中，笔者认为计算机辅助语言学习软件应该从枯燥型操练场走向沉浸式交际场，应该从简单的界面交互走向人际交互。语音识别技术由于能够很好的将语言的交际功能和技术提供的交互功能完美的结合，可以为语言学习创造新的空间。

计算机辅助语言学习软件有效性探讨

该文通过对一项英语词汇记忆软件进行实践性检验与分析,发现基于强化刺激棗反应模式的软件只要密切结合学习者的使用,是可以对英语词汇记忆有明显效果的。语言学习软件要以学习者为中心、与学习者交互、符合学习者心理才会真正起到作用。计算机辅助语言学习软件在教育领域的应用、促进和提高应在实践中体现它的实效性。

软件演化过程描述语言中继承语法的编译实现

软件演化过程描述语言对软件演化过程进行形式化的建模,更容易描述软件过程并在计算机中实现.软件演化过程描述语言的语法描述明确定义了有继承特性的软件过程和活动,继承是整个软件演化过程描述语言的重点之一.本文阐述了软件过程和活动在软件演化过程描述语言编译器中的实现方法,是整个编译器的核心,并为编译器的实现提供了理论基础.