《框架時序邏輯程式設計》是依託西安電子科技大學，由段振華擔任項目負責人的重點項目。
基本介紹
- 中文名：框架時序邏輯程式設計
- 項目類別：重點項目
- 項目負責人：段振華
- 依託單位：西安電子科技大學
- 批准號：60433010
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2008-12-31
- 支持經費：180（萬元）
中文摘要
定義框架時序邏輯的語法和語義，建立該邏輯系統的模型理論，公理系統；基於該邏輯系統，開發一個簡潔、實用的、具有類似於C,C++ 和Java語言的程式設計風格的時序邏輯程式設計語言。該語言能支持結構化程式設計、部分面向對象和面向構件程式設計。研究該語言的操作語義和公理語義。開發該語言的一個解釋器。研究該語言在並發、實時和混合系統中的套用。研究架構時序邏輯在非規範知識處理中的套用。. 該研究對提高軟體系統的形式驗證的自動化程度、提高軟體的可靠性和安全性具有積極的促進作用。對並發、實時和混合系統的形式描述和驗證、對非規範知識處理都是十分有用的。框架時序邏輯程式設計的研究是源頭性的，具有十分重要的理論意義和廣闊的套用前景。
