《軟體生產自動化中的新理論和新方法研究》是依託北京航空航天大學，由李未擔任項目負責人的重點項目。
基本介紹
- 中文名：軟體生產自動化中的新理論和新方法研究
- 依託單位：北京航空航天大學
- 項目負責人：李未
- 項目類別：重點項目
- 負責人職稱：教授
- 批准號：69433030
- 研究期限：1995-01-01 至 1997-12-31
- 申請代碼：F02
- 支持經費：50（萬元）
項目摘要
課題組在程式規範的極限理論、相關的NP難解問題法設計和軟體開發的對象語義理論等方面取得了開創性成果。以開放邏輯為基礎提出了一個關於軟體版本進化的理論。其基本思想是以軟體的版本為研究對象，針對軟體版本的更新提出版本的重構概念，並用版本序列和極限的理論刻畫軟體開發策略，為了將此理論套用於軟體開發實踐並提高其實現效率，對SAT問題的算法設計進行了重點研究，在兩個套用軟體項目中初步實踐了上述兩方面的成果，在對象形式規範方面研究了一種新的約束規範語言JBDL，在對象模型檢查方面提出了新的改進T（3）BDD算法。課題進行期間，在國內外重要刊物和會議上發表論文55篇。研究成果受到國內外學術界和企業界的廣泛關注。
