A. I. Cuza University of IaşiFormal Methods in Software Engineering
| Course name | Formal Methods in Software Engineering | Code | MISS2102 |
| Class | Master of Software Engineering, 2009 - 2011 | ||||||
| Level | Master | Year | 1 | Semester | 1 | Status | Compulsory |
| Hours per week | Total hours per semester | Total hours of individual work | Credits | Evaluation type | Teaching language | |||
| C | S | L | Pr | |||||
| 2 | 0 | 2 | 0 | 56 | 8 | E | ro | |
| Taught by | Academic and scientific title, name |
|
Professor, PhD,
Dorel Lucanu
|
| Required courses |
| Objectives | |
| General thematics | |
| Seminary / Laboratory thematics | |
| Teaching methods |
| Bibliography |
| Evaluation | conditions | |
| criterias | ||
| modes | ||
| formula |