软件规范描述方法主要是软件工程化的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.
软件体系结构是软件工程学科中一个较新的研究领域，目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。
Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture.
应用推荐