摘要：介绍了对形式化语言SOFL进行复审的设计思想及实现,从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开,依据checklist问题集,帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不满足性,对记录的评注或错误描述归类存档、分析处理。

摘要：介绍了一种智能仪表的实时控制软件的设计与实现 ,针对其中的中断机制、实时措施、可靠性措施和数字显示等关键技术进行了阐述。这些技术应用于某型高空无线电高度表 ,使其测高值达到 1 50 0 0 m(填补国内空白 ) ,误差为低空 1 %、高空 2 % ,并首次使用模拟、数字两种显示方式 ,从而从预研转为工程阶段。

摘要：应用PLC技术、GPRS无线网络技术、MODBUS现场总线集成控制技术、传感器检测技术、远程调度控制技术、监控平台及工控软 件实现城市天燃气管网的数据采集、远程遥控、监控管理一体化。

摘要：介绍了编译器自动生成器的基本原理,通过设计一个简单的计算器,说明使用CUP(Constructor of Useful Parsers)构造编译器的方法。

摘要：通过分析 DSS模型库的特点 ,介绍了一种基于面向对象数据库的 DSS模型库管理系统的设计 ,讨论了模型表示、模型库的结构、模型库的维护等技术。

摘要：通过分析软件逆向工程数据的特点,提出了建立面向对象的软件逆向工程数据库系统,介绍了针对软件逆向工程数据而构造的数据类的形式,最后讨论了软件逆向工程数据库的结构和维护等技术。

摘要：目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新方法——形式化格局识别技术,以行为层状结构的变换来表述程序的语义,进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。

摘要：本文提出了一种J2EE应用服务器内置部署器的体系结构 ,并且给出了其实现方案。它完全符合J2EE规范的相应要求 ,并且具有良好的可扩展性 ,能够满足企业应用部署的要求。

摘要：基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。

摘要：文章以A公司的限制性股票为例,利用市场模型,研究了草案公告日及弃购限制性股票日的市场反应,以股票的超额收益率(AR_(it))和累计超额收益率(CAR_(it))衡量市场反应。研究结果显示,公告日前20个交易日股票超额收益率明显为负,后20个交易日股票超额收益率明显为正,分布呈"U"型;弃购日前后股票超额收益率的差异不显著。研究结果说明,公告日前后,管理层通过机会主义信息披露获得一个最低的授予价格,最大化其未来行权时的收益;弃购日前后,管理层通过权益分派,配合机会主义信息披露,减小弃购对股价的影响,减小利益损失。本研究为科学设计限制性股票的授予价格提供了参考,同时从高管弃购股权激励的角度丰富了机会主义的研究,对实现股权激励计划的有效性具有重要意义。