原创力文档formalmethodIncomputerscience,specificallysoftwareengineeringandhardwareengineering,formalmethodsareaparticularkindofmathematicallybasedtechniquesforthespecification,developmentandverificationofsoftwareandhardwaresystemsformalspecificationIncomputerscience,formal
您可能关注的文档
- 《软件工程》软件过程 Software processes 教学课件.pptx
- 《软件工程》项目管理 Project management 教学课件.pptx
- 《软件工程》需求工程过程 Requirements engineering processes 教学课件.pptx
- 《软件工程》验证与确认 Verification and validation 教学课件.pptx
- 《软件工程》Petri网入门 An Introduction to Petri Nets 教学课件.pptx
- 《软件工程》过程模型 Process Models 教学课件.pptx
- 《软件工程》面向对象设计 Object-oriented design 教学课件.pptx
- 《软件工程》软件测试 Software testing 教学课件.pptx
文档评论（0）