A methodology for high-level software specification construction

  • Authors:

  • Ying Jing;He Zhijun;Wu Zhaohui;Li Jiangyun;Fan Weicheng;Xu Zhaohui

  • Affiliations:

  • Artificial Intelligence Institute, The State Key Laboratory of CAD&CG, Zhejiang University, Hangzhon, 310027;Artificial Intelligence Institute, The State Key Laboratory of CAD&CG, Zhejiang University, Hangzhon, 310027;Prospect Information Consulting Co., Ltd, I.-Iangzhon, 310007;-;-;-

  • Venue:
  • ACM SIGSOFT Software Engineering Notes
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper puts forward a kind of novel methodology for software system development, from the point of view of the problem existed in software development -- the gap between the requirement specification level and the program implementation level. We attempt to begin from the specification level of software development to touch the process of high-level specification construction profoundly. We propose a specification language to support multiple semantic dimensions and based on which build a unified functional model of software system in a specific domain. On the bases of these, we apply transformation and refinement methods to the model and transit it from the specification level to the implementation level. We expect such a process can change the current software producing procedure in nature. We also put this methodology into the application of the software development in real-time serving domain we focus on, which turns out to be encouraging.