"engineering methods" trang 2 - tải miễn phí từ tailieunhanh
Lecture note Formal methods in software engineering - Lecture 4

Lecture note Formal methods in software engineering - Lecture 4
6    44    0
Lecture Formal methods in software engineering: Software verification using formal methods

Lecture Formal methods in software engineering: Software verification using formal methods
21    62    0
Lecture Formal methods in software engineering - Lecture 32

Lecture Formal methods in software engineering - Lecture 32
18    82    0
Lecture Formal methods in software engineering - Lecture 5

Lecture Formal methods in software engineering - Lecture 5
36    31    1
Lecture Formal methods in software engineering: Predicate logic

Lecture Formal methods in software engineering: Predicate logic
28    56    1
Lecture Formal methods in software engineering: Formal specification

Lecture Formal methods in software engineering: Formal specification
21    20    1
Lecture Formal methods in software engineering: A transition system

Lecture Formal methods in software engineering: A transition system
63    49    1
Lecture Formal methods in software engineering: Theory of automata

Lecture Formal methods in software engineering: Theory of automata
37    26    1
Lecture Formal methods in software engineering: Automatic verification

Lecture Formal methods in software engineering: Automatic verification
74    54    1
Lecture Formal methods in software engineering: Relations in Z specification

Lecture Formal methods in software engineering: Relations in Z specification
27    60    1
Lecture note Formal methods in software engineering - Lecture 3

Lecture note Formal methods in software engineering - Lecture 3
11    29    1
Lecture Formal methods in software engineering: Finite automata

Lecture Formal methods in software engineering: Finite automata
38    33    1
Lecture note Formal methods in software engineering - Lecture 3 (cont)

Lecture note Formal methods in software engineering - Lecture 3 (cont)
18    21    1
Lecture Formal methods in software engineering: Partial operator

Lecture Formal methods in software engineering: Partial operator
32    52    1
Lecture note Formal methods in software engineering - Lecture 4

Lecture note Formal methods in software engineering - Lecture 4
6    34    1
Lecture Formal methods in software engineering: Software verification using formal methods

Lecture Formal methods in software engineering: Software verification using formal methods
21    40    1
Lecture Formal methods in software engineering - Lecture 32

Lecture Formal methods in software engineering - Lecture 32
18    45    1
Lecture note Formal methods in software engineering - Lecture 2: Formal languages (cont)

Lecture note Formal methods in software engineering - Lecture 2: Formal languages (cont)
9    13    1
Lecture Software requirements engineering - Lecture­ 28: Requirements engineering in agile methods

Lecture Software requirements engineering - Lecture­ 28: Requirements engineering in agile methods
31    150    0
Lecture Software requirements engineering - Lecture­ 29: Requirements engineering in agile methods

Lecture Software requirements engineering - Lecture­ 29: Requirements engineering in agile methods
38    162    1