形式化 nghĩa là gì

sự nghi thức hoá, sự trang trọng hoá, sự chính thức hoá, sự làm thành hình thức chủ nghĩa
nghi thức hoá, trang trọng hoá, chính thức hoá, làm thành hình thức chủ nghĩa

• 形式化方法:    các phương pháp hình thức
• 形式:    [xíngshì]hình thức。事物的形状、结构等。组织形式。hình thức tổ chức艺术形式。hình thức nghệ thuật形式逻辑。lô-gích hình thức
• 公式化:    [gōngshìhuà]1. công thức hoá。指文艺创作中套用某种固定格式来描写现实生活和人物性格的不良倾向。2. công thức; máy móc (giải quyết vấn đề)。指不针对具体情况而死板地根据某种固定方式处理问题。

Câu ví dụ

thêm câu ví dụ:   Tiếp＞

你可以专注于形式化方法，或可视化技术。
Bạn có thể tập trung vào phương pháp hình thức, hoặc về kỹ thuật trực quan.

在微软的研究部门，软件工程师正在进行两项雄心勃勃的形式化验证项目。
Tại Microsoft Research, các kỹ sư phần mềm cũng đang bận rộn với hai dự án đầy tham vọng.

有证据表明，形式化方法的使用减少了软件开发项目的成本。
Thực tế cho thấy phương pháp Phát triển phần mềm theo cấu phần đã làm giảm chi phí của dự án phát triển phần mềm.

斯宾塞的贡献在於形成了这一思想并将之形式化，同时还说明和分析了它所产生的影响。
Cống hiến của Spence là hình thành và phát triển ý tưởng này đồng thời tiến hành mô tả và phân tích ý nghĩa của nó.

斯宾塞的贡献在于形成了这一思想并将之形式化，同时还说明和分析了它所产生的影响。
Cống hiến của Spence là hình thành và phát triển ý tưởng này đồng thời tiến hành mô tả và phân tích ý nghĩa của nó.