What is the translation of " FORMAL METHODS " in Vietnamese?

• phương pháp chính thức
• những phương pháp hình thức

Examples of using Formal methods in English and their translations into Vietnamese

Formal Methods in System Design.
Phương pháp chính thức trong thiết kế hệ thống.

This name reflects the ties this field has with formal methods.
Tên này phản ánh ràng buộc lĩnh vực này với phương pháp hình thức.

You could focus on formal methods, or on visualization techniques.
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.

This offers the possibility of verifying the specification with formal methods.
Điều này đưa ra khả năng kiểm tra các chi tiết bằng các phương pháp chính thức.

Many formal methods are used in capital budgeting, including the techniques such as.
Nhiều phương pháp chính thức được sử dụng trong lập ngân sách vốn, bao gồm các kỹ thuật như.

After the initial sale, are there systematic, formal methods you use to communicate and resell your customers?
Sau lần giao dịch đầu tiên, bạn có sử dụng cách phương pháp chính thức, có hệ thống để tương tác và bán tiếp cho khách hàng?

Formal methods, by contrast, can use data models to verify all software running paths.
Các phương pháp chính thức, ngược lại có thể sử dụng các mô hình dữ liệu để xác minh mọi đường đi của phần mềm.

As with programming language semantics, styles of formal methods may be roughly classified as follows.
Cùng với ngành con Ngữ nghĩa hình thức của ngôn ngữ lập trình, các phương pháp hình thức có thể được phân loại tương đối như sau.

The methods for achieving a technical effect are described by control algorithms, which might or might not utilize formal methods in their design.
Các phương pháp để đạt được một hiệu ứng kỹ thuật được mô tả bởi các thuật toán điều khiển, có thể hoặc không thể sử dụng phương pháp mô hình trong thiết kế của chúng.

These are the common formal methods of closing a cover letter for job application via email.
Đây là những phương thức chính thống thông thường để kế thúc một lá thư xin việc qua email.

Those in the computer science field focus on the theory of subrecursive hierarchies, formal methods, and formal languages.
Những người trong lĩnh vực khoa học máy tính tập trung vào lý thuyết về thứ bậc phụ, phương pháp chính thức và ngôn ngữ chính thức..

We may fail to see how formal methods and techniques can condition us to have less spontaneity and freedom.
Chúng ta có thể không thấy làm thế nào các phương pháp và kỹ thuật chính thức có thể tạo điều kiện cho chúng ta có ít tự phát và tự do hơn.

His research interests encompass both theoretical foundations and system development in the areas of formal methods, software engineering, and programming languages.
Lợi ích nghiên cứu của ông bao gồm cả nền tảng lý thuyết và phát triển hệ thống trong các lĩnh vực phương pháp chính thức, công nghệ phần mềm và ngôn ngữ lập trình.

More formal methods of assessing eye dominance include the Dolman method when you are advised to keep both eyes focused on an object as it moves nearer.
Các phương pháp chính thức hơn để đánh giá sự thống trị của mắt bao gồm phương pháp Dolman, khi bạn được khuyên nên giữ cả hai mắt tập trung vào một vật thể khi nó di chuyển gần hơn.

The methods for achieving a technical effect are described by control algorithms, which may or may not utilize formal methods in their design.
Những phương pháp để đạt được một hiệu ứng kỹ thuật được mô tả bởi những giải thuật điều khiển có thể hay không thể dùng những phương pháp hình thức trong thiết kế của chúng.

Formal methods can be used at a number of levels: Level 0: Formal specification may be undertaken and then a program developed from this informally.
Các phương pháp hình thức có thể được sử dụng tại nhiều mức: Mức 0: Đặc tả hình thức có thể được thực hiện và rồi một chương trình được phát triển từ đặc tả này một cách không hình thức..

Semester 2: You will be familiarized with programming in C/ C++, various operating and database systems as well as the formal methods of computer science and analysis.
Học kỳ 2: Bạn sẽ được làm quen với lập trình trong C/ C, các hệ điều hành và cơ sở dữ liệu khác nhau cũng như các phương pháp chính thức của khoa học và phân tích máy tính.

Whatever method or technology you choose to use- formal methods of evaluation and monitoring will help you to understand the effectiveness of your marketing and return on investment.
Bất kể phương pháp hay công nghệ nào bạn chọn sử dụng- phương pháp đánh giá và giám sát chính thức sẽ giúp bạn hiểu được hiệu quả của tiếp thị và lợi tức đầu tư.

Although 6.1 specifies that the organization shall plan actions to address risks, there is no requirement for formal methods for risk management or a documented risk management processes.
Mặc dù 6.1 quy định tổ chức phải hoạch định các hành động để giải quyết rủi ro, nhưng không có yêu cầu nào đối với phương pháp chính thức để quản lý rủi ro hoặc quá trình quản lý rủi ro dạng văn bản.

Formal methods are an effective mathematical approach to verifying the correctness of a system from sources, but traditional verification methods such as functional verification and attack simulation have been limited to limited scenarios.
Các phương thức kiểm định chính thức là một cách tiếp cận toán học hiệu quả để xác thực tính chính xác của hệ thống từ nguồn, trong khi các phương pháp kiểm định truyền thống, như kiểm định chức năng và mô phỏng tấn công, đều bị giới hạn trong các kịch bản nhất định.

But if the employees resist change and see the introduction of formal methods as a means to assign accountability, they will perceive the new technology as something negative.
Nhưng nếu các nhân viên chống lại sự thay đổi và xem việc giới thiệu các phương pháp hình thức như một phương tiện giao trách nhiệm, họ sẽ cảm nhận được công nghệ mới như là một cái gì đó tiêu cực.

Those responsibilities include the need to be scrupulous and careful about the truth and accuracy of statements made to the investing public, whether those statements are made in traditional forms such as a press release or an earnings call or through less formal methods such as Twitter or other social media.
Những trách nhiệm đó bao gồm sự cẩn trọng về sự thật và tính chính xác của các tuyên bố đưa ra với nhà đầu tư, cho dù những tuyên bố đó được đưa ra dưới dạng truyền thống như thông cáo báo chí hoặc những dạng ít chính thức hơn như qua mạng xã hội".

The conference, which first ran in 2017,“will explore the use of formal methods, empirical analysis, and risk modeling to better understand security and systemic risk in blockchain protocols.”.
Hội nghị được tổ chức lần đầu tiên vào năm 2017, sẽ khám phá việc sử dụng các phương pháp chính thức, phân tích thực nghiệm và mô hình hóa rủi ro để hiểu rõ hơn về bảo mật và rủi ro hệ thống trong các giao thức Blockchain.

This Masters program on“Dependable Software Systems”(DESEM) is an Erasmus Mundus Master program which consists of courses of the Master in Computer Science of Université de Lorraine on Software Engineering and Formal Methods, displayed in English and opened to international students.
Chương trình thạc sĩ này trên các hệ thống phần mềm đáng tin cậy( DESEM) là một chương trình Thạc sĩ Erasmus Mundus bao gồm các khóa học Thạc sĩ Khoa học máy tính của Université de Lorraine về Kỹ thuật phần mềm và Phương pháp chính thức, được hiển thị bằng tiếng Anh và mở cho sinh viên quốc tế.-.

A first article inspection(FAI) is a design verification and design history file and a formal method of providing a reported measurement for a given manufacturing process.
First Article Inspection( FAI) là việc thẩm định và lịch sử thiết kế, và đó là một phương pháp chính thức cung cấp một bảng báo cáo đo lường đánh giá cho một quy trình sản xuất nhất định.

Email is a less formal method of communication than writing a letter or making a phone call.
Email là một cách giao tiếp ít trang trọng hơn là viết một lá thư hoặc thậm chí thực hiện một cuộc gọi điện thoại.

Hearings held by the U.S. Congress are the primary, formal method through which congressional committees collect and analyze information in the early stages of legislative policy-making.
Hiểu theo nghĩa đơn giản, điều trần( hearing) là một trong những cách thức chính mà các ủy ban của Quốc hội Mỹ thu thập và phân tích thông tin trong bước đầu hoạch định chính sách.

Most companies have a formal method of segmenting their customers into demographic or behavioral groups, which presents an opportunity to analyze what each of these groups values and then develop products and services that deliver those elements.
Hầu hết các công ty có một phương pháp riêng trong việc phân loại khách hàng của họ thành các nhóm người hay nhóm hành vi, trong đó trình bày để phân tích xem nhân tố nào có giá trị trong mỗi nhóm và sau đó phát triển các sản phẩm và dịch vụ cung cấp những nhân tố đó.

Chatbots are meant to be much less formal than other methods of communication.
Chatbots có nghĩa là ít chính thức hơn nhiều so với các phương thức giao tiếp khác.