程序設計理論理論學術語01定義基本概念發展歷程詞條信息基本步驟目錄03050204基本信息程序設計(Programming)是指設計、編制、調試程序的方法和過程。它是目標明確的智力活動。由于程序是軟件的本體，軟件的質量主要通過程序的質量來體現，在軟件研究中，程序設計的工作非常重要，內容涉及到有關的基本概念、工具、方法以及方法學等。程序設計通常分為問題建摸，算法設計，編寫代碼和編譯調試四個階段。定義定義程序設計(Programming)程序設計理論是研究程序設計的理論基礎、基本原則和一般方法的一種理論。是計算機軟件工程學的基礎。程序設計的基本過程是：對待解決的問題進行分析，定義用戶需求，描述數據和加工過程，再把這種描述細化、編碼，轉換成計算機可以接受的表示形式。如：VisualBasic程序設計理論、C語言程序設計理論等。詞條信息詞條信息詞條：程序設計理論拼音：chengxushejililun英文：programmingtheory基本概念基本概念研究程序設計的理論基礎、基本原則和一般方法的一種理論。是計算機軟件工程學的基礎。程序設計的基本過程是：對待解決的問題進行分析，定義用戶需求，描述數據和加工過程，再把這種描述細化、編碼，轉換成計算機可以接受的表示形式?；静襟E基本步驟（1）分析問題對于接受的任務要進行認真的分析，研究所給定的條件，分析最后應達到的目標，找出解決問題的規律，選擇解題的方法，完成實際問題。（2）設計算法即設計出解題的方法和具體步驟。（3）編寫程序將算法翻譯成計算機程序設計語言，對源程序進行編輯、編譯和連接。（4）運行程序，分析結果運行可執行程序，得到運行結果。能得到運行結果并不意味著程序正確，要對結果進行分析，看它是否合理。不合理要對程序進行調試，即通過上機發現和排除程序中的故障的過程。（5）編寫程序文檔許多程序是提供給別人使用的，如同正式的產品應當提供產品說明書一樣，正式提供給用戶使用的程序，必須發展歷程發展起步發展歷程起步自20世紀40年代帶內存程序的計算機誕生后，計算機編寫程序的工作越來越重要。到60年代中期，計算機應用已相當普遍，但軟件設計技術卻很落后，許多大型軟件的質量低劣，可靠性不高，可維護性極差；軟件生產率很低，從而價格昂貴，供不應求，造成所謂的軟件危機。計算機科學家開始認真研究程序設計的基本理論和方法。60年代末期，結構化程序設計與自頂向下逐步求精的原則和方法受到廣泛重視。結構化程序設計希望通過完善程序的靜態結構來保證程序動態運行的正確性，因而需要限制或取消某些不良程序語句，例如GOTO語句。自頂向下逐步求精的主要思想是從待解問題出發，運用科學抽象的方法，把原問題分解成若干相對獨立的小問題，依次細分，直至各個小問題都獲得圓滿解決為止。與此同時，使用邏輯方法驗證程序正確性的研究取得了豐碩成果，形式語義學也得到長足的進展。驗證框圖程序的斷言方法是在框圖的每條邊上附上一個斷言（謂詞公式），其意義是，每當程序運行到達這條邊時，此斷言應為真。對于循環，即框圖上的一個回路，可以定義一個斷點，并在斷點上設置一個斷言ρ，然后證明若循環開始時斷點上的ρ為真，則當循環返回到該斷點時ρ仍然為真。斷言ρ常稱為循環不變式。Hoare邏輯是基于上述斷言方法的程序驗證系統，它是一階謂詞邏輯的擴充，用于證明程序的部分正確性。形式語義學是程序設計理論的主要組成部分。70年代程序設計理論研究的主要課題是大型程序的設計方法。對于復雜而龐大的大型程序設計，原先的簡單類型、子程序、過程等概念已顯不足，需要一種表示能力更強、更靈活、結構更清晰的程序單位，這就是抽象數據類型。抽象數據類型把模塊概念精確化和理論化，成為程序設計理論中的重要組成部分。發展70年代中期以后，程序設計理論朝多方向發展。第一，對程序設計的范型進行研究。最主要的程序設計范型有：邏輯式程序設計，函數式程序設計，面向對象的程序設計。第二，軟件生產自動化研究。這種研究的主要目的是希望能像工業生產自動化那樣，使程序設計的某些過程實現自動化，從而提高軟件生產率，保證程序正確性。這方面研究的主要成果是形式化軟件開發方法，其目標是為使用者提供一整套思維方法和描述、開發手段，如規范描述的原則、程序開發的一般過程、描述語言等等，使開發者能利用數學概念和表示方法恰當合理地構造形式規范，根據開發過程的框架及設計原則進行