摘要：ＯＯＨＬ是作者们设计的一个面向对象的非过程化语言，它以面向对象和面向问题的非过程化方式定义用户需求，主要目的是要生成Ｊａｖａ程序．文中介绍了ＯＯＨＬ的设计思想。

摘要：ＯＯ－ＨＬＧ是作者们设计的一个Ｊａｖａ应用程序生成器，它以面向对象和面向问题的非过程化方式定义用户需求，然后生成Ｊａｖａ程序．文中介绍了ＯＯ－ＨＬＧ的基本思想、结构、工作流程、类和对象的定义方式、软件重用技术。

摘要：探索用基于公理语义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＳＰＥＣ，用来形式地表达程序的功能规格说明。

摘要：商业模式是企业创造和实现商业价值的重要保证。对于处在市场环境快速变化中的现代企业来说,依靠引入新的商业模式来保持持续的竞争和盈利能力至关重要。目前,北京国际鲜花港正处于边建设边运营并完全向商业化运营转型阶段,如何促进鲜花港成功转型、预先设计构建实现鲜花港商业价值最大化的商业模式尤为重要。本文从精细化定位、要素提升整合、核心竞争力培育、持续盈利模式设计和客户价值最大化等角度,思考鲜花港基于创新驱动的高端花卉商业模式构建问题。

摘要：本文从油田工程技术领域相关信息的全面采集与管理、传输网络与设备管理、智能化综合应用等三方面介绍了油田工程技术物联网系统的设计目标、系统框架以及功能设计。该系统包括实时信息采集系统、信息综合管理系统、信息传输系统、物联网网络及设备管理系统、专业智能应用系统、生产经营管理系统等六个子系统。