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...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.
