基于B方法的体系结构描述语言的精化研究

通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.     

浅析软件演化过程描述语言的作用及特点

在整个软件生命周期中,软件演化已成为其中一个日益重要的研究方向.软件演化过程用来建立软件演化的整体任务框架,可以提高软件演化的效率,但其描述力不足,难以在计算机中实现.软件演化过程描述语言作为面向对象的形式化建模语言,其较强的描述力和易于在计算机中实现的特性,使它可以在不同的抽象层次上描述演化过程,且有利于对软件演化过程的控制、分析、度量和改进.     

《金锁记》与张爱玲语言

张爱玲处身于新旧交替的时代。她的作品与血和火的中国关系不大，与外寇的侵占不大沾边，也不去渲染民族情绪和抗战气氛，而把主要的视角指向两性关系、婚嫁、迎娶和“女性暴君”，《金锁记》人物曹七巧是张爱玲创作的典型形象之一；张爱玲小说的魅力来自于个性化的形象叙述语言，形象勾画语言，形象想象语言，形象描写语言，她独特的创作，展示了那个年月崩溃与转折的进程，传达出那个时代个人与历史、生活与命运的内涵，其作品语言达到了很高的境界。     

描写法在第二语言教学中的重要性——以现代哈萨克语为例

准确且细致的描写语言现象及语法规则,既是语言发展的内在要求,也是第二语言教学的现实需求。语料标记、语法单位界定方法符合语言习得规律,能帮助学生树立正确语言观并构建科学的语言学习系统。语言描写法在现代哈萨克语教学中的深入应用,有助于培养学生正确的语言观和语法观,可以帮助学生快速识别语法现象并正确使用语法规则,加深对现代哈萨克语内部结构的认知,进而有助于深化现代哈萨克语句法结构关系的研究。     

论软件再工程中的重用技术

软件再工程和软件重用技术都是当前软件工程研究的热点。详细介绍了软件再工程和软件重用,并讨论了再工程中实现软件重用的关键技术—构件与构架,及其属性与实现难点。     

谈《百合花》人物语言描写

<百合花>是我国著名作家茹志鹃的代表作,也是我国当代文学宝库中的一件精品.它"笔调委婉和谐,感情真挚淳厚,结构精细严谨,历来为人赞誉".人物语言描写虽然在全文中所占比例不大,但却鲜明生动,恰切传神,具有较强的艺术感染力.     

微服务架构研究概述

目前对微服务软件架构的研究正处于探索阶段,Amazon、Netflix等互联网巨头的成功案例表明微服务架构在大规模企业应用中具有明显优势。通过对单体架构应用与微服务架构的对比,对微服务软件架构研究现状进行综述,介绍微服务架构的概念、优势、设计模式等,分析微服务软件架构面临的问题与挑战,总结微服务架构与单体架构的适用场景。     

《国语》所载预言之文学意义

《国语》是先秦时期的一部重要文献典籍,其中载录的众多预言在揭示事件因果关系中从叙述构建与言语刻画两方面表现了较强的文学意义。《国语》各篇章自成体系的体裁特征决定了预言在《国语》叙事中的特殊性:从整体而言,其类型特征增强了表达效果;从形式而言,其叙事简略凸显了编纂目的。《国语》预言言辞瑰丽多彩,不仅刻画了两方人物性格体貌,而且为增强其说服性,其言论采用了多种构思。     

执行LOTOS形式说明的编译器支持

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO编译器。     

软件体系结构模式应用探析

对Data Flow、Call-Return、Virtual Machine、Independent Component、Repositories、Peer-to-Peer和Service OrientedArchitecture(SOA)七种软件体系结构(SA)模式的特点以及它们在软件开发过程中的应用做了探讨,并具体分析了Mach操作系统由于应用这些技术所获得的好处。一个应用在确定了SA模式之后,可以通过它所提供的系统的抽象信息进行沟通、分析和决策,并作为今后工作的指导,从而减少软件开发的风险。     

《三国演义》的语言描写艺术——“骂语”艺术探析

＂骂语＂在《三国演义》中屡屡出现,它不仅出自反面人物之口,正面人物口中亦有过之而无不及。通过梳理便可发现＂骂语＂在小说中的作用非凡,本文着重从骂中显性格、骂中见谋略、痛斥失信违义者、凸显义的品格等四个方面展开,来领略＂骂语＂作为小说的语言描写艺术的巨大魅力。     

从说话中看出人的性格——浅谈新闻人物的语言描写

新闻人物的写作，要通过语言描写表现人物的精神面貌和性格特征，个性化的语言描写能够表现出人物的个性美。     

软件开发模型研究综述

在软件工程活动中,首要的任务是选择一个适合于组织实际情况的软件开发模型和软件过程。文章对常用的软件开发模型进行了系统的介绍和总结,给出了这些模型之间的关系、各自的特点和适用场合。     

Java EE多层软件架构的安全构建

针对多层软件架构在各个层次的组件上可用不同的方式进行安全性设置的问题,提出除了在统一架构上通过角色、权限控制来完成之外,在表示层使用Session和验证码的方式来防止“翻墙”和破解用户密码,在业务处理通过AOP和Spring Security来设置验证切面、认证、会话管理等,在数据持久层通过数据库自身的数据备份和恢复与Hibernate提供的事务隔离级别来提高系统的安全性.     

Support for development and test of web application: A tree-oriented model

Building an abstract model of the web application is the chief task of software test based on model, which is an efficient way for testing the web application. One problem with current web application test technologies is the lack of tools for modeling the whole web software, especially the lack of support for describing web application from the view of action and function. This paper is concerned with providing the support for development and test of the web application. The presented novel model, named component-based and tree-oriented web application development model (CBTOWADM), abstracts the web application as a tree based on its system function and business process. CBTOWADM not only simplifies the design and development of the web application, but also acts as the model middleware for software test. The basic model definition, the system framework and the application in software test of CBTOWADM is described.     

基于事件的网格计算协作模式

面向模式的软件体系结构已成为软件工程的一个热点,而网格计算也正在成为下一代互联网的发展趋势,基于网格计算的模式研究成为模式研究的一个重要发展方向。文中分析了现有的几种网格计算模式的应用范围,详细介绍了基于事件的协作模式网格计算算法结构设计模式。     

多级正交软件体系结构在LMS中的应用研究

本文介绍了多级正交软件体系结构在LMS中的应用,并且分析了其演化控制的过程。为今后系统的完善提供了可选方案,从而更有效的提高了软件开发的效率,减少了软件维护的成本．     

RTL数字系统的形式化描述

本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义进行定义,可把一个用寄存器传输语言描述的系统转换成投影时序逻辑的公式,从而使用投影时序逻辑可执行子集MSVL对系统行为和性质进行形式化的描述及验证,提高系统设计的可信性。     

基于FPGA技术的出租车计价器设计

所设计的出租车计价器系统以可编程逻辑器件FPGA为控制核心,附加一定外围电路组成,包括百米脉冲分频模块、计程模块、计价模块、数码管扫描译码模块共四个子模块,可以对车型、单价、起步价、起步里程数、超额加价值等参数进行修改.仿真结果表明,它可适用于不同地区、不同型号的出租车.