%0 Journal Article
%T Demand on New Software Development Methodology:High-level Construction for Software Specification<br>新的软件开发方法论需求：软件定义的高层构造
%A Ying Jing
%A <br>应晶
%A 吴朝晖
%J 计算机科学
%D 1994
%I 
%X This paper puts forward a kind of novel methodolgy for software system development, from the point of view of the problem existed in the software development procedure-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 on this basis build a unified functional model of software system in a specific do- main. Based on these,we apply transformation and refinement methods to the model and transit from the specification level to the implementation level. We expect such a process can change the current software producing procedure in nature.
%K Software System
%K Gap
%K Specification Level
%K Implementation level
%K High-level
%K Construe<br>软件开发
%K 软件定义
%K 构造
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9604365558C436412978766D93390ABC&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=B31275AF3241DB2D&sid=CB423C9A71560A74&eid=B9704B40A4225A24&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=0