High Confidence Software Engineering Technologies
Ji Wang · Dianzi xuebao · 2003
As the software plays more and more important roles in today′s information society,the software reliabitity,safety and security are strongly required.The state of art of its engineering technologies for this high confidence software and the challenges it faced are descirbed in this paper.Based on the formal methods,this confidence software developing trends and its key technical points are also discussed.