...知识体系SEEK(Software EngineeringEducation Knowledge)中，“软件工程的形式化方法”(Formal Methods in Software Engineering)被列为一门核心课程(序列号为SE313)。CCSE最终报告的推出对计算机学科相关专业的形式化方法教育产生了重要的影响。
基于12个网页-相关网页
软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。
UML and formal method can describe software specification. The paper puts forward a formal method of software specification based on CCS.
软件体系结构是软件工程学科中一个较新的研究领域，目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。
Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture.
应用推荐