江西財經大學可信軟體理論與技術研究所

江西財經大學可信軟體理論與技術研究所是一個專注於軟體系統可信性保證理論研究和工程實踐的學術組織。以開放式網路環境下的軟體系統作為研究對象，重點研究提升軟體可信性的形式化表示、分析和評估、測試與驗證等方面的關鍵技術。

基本介紹

• 中文名：江西財經大學可信軟體理論與技術研究所
• 主管部門：江西財經大學

研究方向

（1）軟體分析與測試的理論和方法；

（2）服務系統的分析與建模技術；

（3）軟體的可信性、可靠性和安全性；

（4）面向軟體項目的管理理論和策略。

科研條件

緊跟軟體工程界的研究前沿，在軟體可信性保證、服務計算、軟體工程自動化等領域開展深入的研究，形成一些有影響力的研究成果；在軟體工程實踐方面，在軟體項目管理理論的指導下積極投身服務社會的軟體產品研發；在人才培養方面，通過研究所的理論和實踐薰陶，使學生快速成長為出色的軟體工程技術人才。

科研成就

江西財經大學可信軟體理論與技術研究所主持完成（或在研）國家級課題4項，省級課題10多項；出版學術專著4部；在國內外學術期刊和會議上發表學術論文百餘篇；培養了軟體工程高層次專業技術人員10餘名。