JSP方法的形式化途径

软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的途径,并对它们各自的优点和存在问题作了评价。

Web应用系统设计的JSP技术方法

简要介绍了JSP的主要技术方法,并且较详细的叙述了JSP技术在Web应用系统设计方面的应用,最后例举了一个JSP技术应用实例。

GIS软件工程的总体设计方法

本文结合工作实际,阐述了GIS软件工程总体设计方法。通过对GIS软件工程设计方法的研究,达到优化GIS设计的目的。