可视化的SOZL编辑器的设计与实现  

The Design and Implantation of Visualized SOZL Editor

作　　者：高晓雷[1] 缪淮扣[1] 陈怡海[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机科学》2002年第7期136-139,共4页Computer Science

基　　金：国家自然科学基金(60173030)

摘　　要：1.引言 从60年代"软件危机"出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法.这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法.在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作.In this paper, we briefly introduce the characteristics of structured-methods, object-oriented methods and formal methods and integration of these methods. It discusses the structure and object-oriented formal methodology and its supporting language: SOZL. Finally, we introduce the design and key techniques to implement the editor, which support the SOZL method.

关 键 词：面向对象 软件开发 可视化 SOZL编辑器 图形编辑环境 设计 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]