Study on axiomatic rules for building up relationships between requirement and source programs
作者:
Highlights:
•
摘要
The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.
论文关键词:Hypothesis,Model of the formation of existence (IDS),Model of the reverse process of existence (PS),Model for providing environment to execute PS (TDM),Scenario function (SF),Tense control function and pallet functions,Vectors,Software evolution
论文评审过程:Available online 18 September 2003.
论文官网地址:https://doi.org/10.1016/j.knosys.2003.08.008