本文分类:news发布日期:2026/5/6 12:48:42
打赏

相关文章

学习笔记:形式化方法与《大象——Thinking in UML》

一、形式化方法形式化方法是基于数学逻辑的软件工程技术,核心是用严谨的数学模型描述、分析和验证软件系统,消除自然语言的歧义,证明系统满足关键性质(如安全性、可靠性)。核心特点:以形式化语言构建无歧义…

手机版浏览

扫一扫体验

微信公众账号

微信扫一扫加关注

返回
顶部