%0 Journal Article
%T An Evolutionary Development Model Supporting Executable Specification<br>支持可执行定义的进化式软件开发模型
%A WU Ming-hui
%A YING Jing
%A HE Zhi-jun
%A <br>吴明晖
%A 应晶
%A 何志均
%J 软件学报
%D 2000
%I 
%X In this paper, an evolutionary development mo del MHSC/DM (methodology for high-level specification construction) is proposed based on MHSC, which supports the executable specification, and the composing r oles and their interrelations are illustrated. This paper addresses the transfor mation classification, system generation and configuration, and architecture of the model. The development model can be used to support automatic generation of prototype system quite well from requirements through evolution and can keep sys tem consistent.
%K executable specification
%K transformation
%K evolution<br>可执行定义
%K 变换
%K 进化
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=8216031D91998FEE&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=708DD6B15D2464E8&sid=CAF3E71A6764366D&eid=AEA8CA70A6C58E24&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=17