JSP方法相关论文
软件开发方法的形式化是软件开发自动化的前提。本文介绍几种使用形式语言、自动机、形式变换、语义模型等工具将JSP 方法形式化的......
本文结合工作实际,阐述了GIS软件工程总体设计方法。通过对GIS软件工程设计方法的研究,达到优化GIS设计的目的。......
