Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  improves a program development method proposed in a recent paper by R. G. Dromey. It is argued that writing the postcondition in a judicious way can lead to programs which are easy to verify and efficient. Furthermore,  want to investigate feasibility of bridging the gap beten the art of programming and the science of programming. It might be that the art is in writing the postcondition and the science in developing an algorithm from the postcondition. Examples are given to illustrate Dromey's method and improvements to it.
['Jianxin Li']
I am writing a research paper on a idea Improvements to systematic program development
[{"from": "human", "value": "I am writing a research paper on a idea Improvements to systematic program development"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  improves a program development method proposed in a recent paper by R. G. Dromey. It is argued that writing the postcondition in a judicious way can lead to programs which are easy to verify and efficient. Furthermore,  want to investigate feasibility of bridging the gap beten the art of programming and the science of programming. It might be that the art is in writing the postcondition and the science in developing an algorithm from the postcondition. Examples are given to illustrate Dromey's method and improvements to it."}]