摘要
Addresses the prototyping method and techniques in software development procedure, and the method for software specification simulation. Based on the executable specification methodology, the paper proposes a software prototype development framework which is used to support specification simulation. Thus the validation and verification of specification could efficiently enhance the development of software prototype system through the specification simulation mechanism.
Addresses the prototyping method and techniques in software development procedure, and the method for software specification simulation. Based on the executable specification methodology, the paper proposes a software prototype development framework which is used to support specification simulation. Thus the validation and verification of specification could efficiently enhance the development of software prototype system through the specification simulation mechanism.
基金
国家自然科学基金资助项目! (6 970 30 0 5 )
教育部高等学校骨干教师资助计划项目
