首頁 > 業界 > 軟件

軟體工程理論、方法與實踐（第五章）

來源：互聯網
上載者：User
創建阿里雲帳戶，並獲得超過 40 款產品的免費試用版；而企業帳戶則可以享有總值 $1200 的免費試用版。立即註冊！

標籤：

軟體工程中的形式化方法

本章介紹軟體工程中的形式化方法，包括時序邏輯、Z語言、Petri網等。

軟體規格說明是對軟體系統對象，對象的操作方法，以及對象行為的描述。在系統的開發及演化過程中，對象、對象的性質以及操作應作為一個整體來處理。軟體生命週期中的不同階段為規格說明引入和增加新的系統特徵定義。當規格說明用形式化方法描述時，可稱之為“形式規約”。形式證明與驗證技術主要包括模型檢測和定理證明。程式求精是將自動推理和形式化方法相結合，從抽象的形式規約推演出具體的面向電腦的程式碼的全過程。Z語言為系統建立基於狀態的模型，模型的三個主要組成部分是輸入、輸出和狀態。Petri網分為位置/遷移Petri網和進階Petri網兩類。

軟體工程理論、方法與實踐（第五章）

本文章原先以中文撰寫並發佈於 aliyun.com，亦設英文版本，僅作資訊用途。本網站不對文章的準確性，完整性或可靠性或其任何翻譯作出任何明示或暗示的陳述或保證。如對該文章有任何疑慮或投訴，請傳送電郵至 info-contact@alibabacloud.com 並提供相關疑慮或投訴的詳細說明。職員會於 5 個工作天內與您聯絡，一經驗證之後，即會刪除該侵權內容。

聯繫我們

該頁面正文內容均來源於網絡整理，並不代表阿里雲官方的觀點，該頁面所提到的產品和服務也與阿里云無關，如果該頁面內容對您造成了困擾，歡迎寫郵件給我們，收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容，歡迎發送郵件至： info-contact@alibabacloud.com 進行舉報並提供相關證據，工作人員會在 5 個工作天內聯絡您，一經查實，本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

Get Started for Free

  • Sales Support

    1 on 1 presale consultation

    Chat Contact Sales

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

    Open a Ticket

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.

    Learn More