柔性Web应用程序的设计与实现

为解决软件使用过程中用户需求不断变化的问题,柔性的概念被引入到软件工程领域.介绍了软件柔性的相关概念,给出其计算公式,分析了一般性、适应性、平稳性、可控性、再现性等软件柔性特性,讨论了柔性软件开发阶段,将软件柔性的表现形式划分为环境柔性、操作柔性、数据柔性、表示柔性、流程柔性等.Web应用程序是软件工程的一个新的应用领域,分析了Web应用程序开发的特点,并就柔性的表现形式说明了Web应用程序的柔性.针对企业信息发布系统的问题,提出了柔性企业信息发布系统的思想,并以柔性企业信息发布系统为例对软件的柔性、柔性软件系统及其应用进行了说明.

司法确认程序的系统建构

司法确认程序的建构不应依据“非讼程序论”,司法确认应立足我国本土实际的实践。在司法确认的启动程序方面,须由一方当事人向人民法院申请,但具体管辖法院可逐渐扩展。在司法确认的审查程序方面,法院的审查对象应是经调解组织或调解员调解达成的调解协议,应以形式审查与实质审查并重,采用合适的审查方式积极审查。在司法确认的后段程序方面,确认调解协议有效裁定应具有消极既判力,但不予受理、驳回申请裁定不具有任何既判力,且为充分保障调解协议当事人与案外人权益,可逐渐扩展并完善司法确认的救济路径。