Lecture note Formal methods in software engineering - Lecture 2 (cont)
Số trang: 12
Loại file: doc
Dung lượng: 307.00 KB
Lượt xem: 8
Lượt tải: 0
Xem trước 2 trang đầu tiên của tài liệu này:
Thông tin tài liệu:
Languages and their generative grammars can be be classified into different cate- gories depending on the complexity of the structures of their production rules. The first category, which correspond to the simplest kind of production rules, is called regular.
Nội dung trích xuất từ tài liệu:
Lecture note Formal methods in software engineering - Lecture 2 (cont)
Nội dung trích xuất từ tài liệu:
Lecture note Formal methods in software engineering - Lecture 2 (cont)
Tìm kiếm theo từ khóa liên quan:
Software engineering Formal methods in software engineering Software development methods Formal languages Formal methodsGợi ý tài liệu liên quan:
-
Lecture Introduction to software engineering - Week 3: Project management
68 trang 160 0 0 -
Bài giảng Công nghệ phần mềm: Kỹ nghệ phần mềm - PGS. TS. Phạm Ngọc Hùng
29 trang 92 0 0 -
Ebook Theory and problems of Software engineering - David A. Gustafson
236 trang 36 0 0 -
Lecture Introduction to software engineering - Week 1: Course introduction
11 trang 33 0 0 -
Lecture Introduction to software engineering - Week 1: Overview
43 trang 29 0 0 -
Ebook Principles of software engineering: Part 1 - Deepak Mehta
165 trang 28 0 0 -
Lecture Software engineering II: Chapter 10 - Dr. Muzafar Khan
25 trang 27 0 0 -
Lecture Software engineering II: Chapter 27 - Dr. Muzafar Khan
21 trang 25 0 0 -
Lecture Introduction to software engineering - Week 4: Requirement engineering
80 trang 25 0 0 -
Lecture Building reliable component-based systems - Chapter 7: Role-based component engineering
28 trang 24 0 0