Formal Methods in Software Engineering

Code:

EIC0039

Acronym:

MFES

Keywords
Classification	Keyword
OFICIAL	Software Engineering

Instance: 2007/2008 - 2S

Active?	Yes
Web Page:	http://paginas.fe.up.pt/~apaiva/teach/0708/MFES.htm
Responsible unit:	Informatics Section
Course/CS Responsible:	Master in Informatics and Computing Engineering

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
LEIC	0	Plano de estudos de transição para 2006/07	4	5	5	-
MIEEC	0	Syllabus since 2007/2008	4	-	5	-
MIEIC	102	Syllabus since 2006/2007	4	-	5	-

Teaching language

Portuguese

Mandatory literature

Fitzgerald, John; Validated designs for object-oriented systems. ISBN: 1-85233-881-4
Yves Bertot e Pierre Castéran; Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions, Springer, 2004. ISBN: 3-540-20854-2
B. Bérard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; Ph. Schnoebelen; P. McKenzie; Systems and Software Verification - Model Checking Techniques and Tools, Springer, 2001. ISBN: 3-540-41523-8

Complementary Bibliography

Fitzgerald, John; Modelling systems. ISBN: 0-521-62605-6
Alagar, V. S.; Specification of software systems. ISBN: 0-387-98430-5
Peled, Doron A.; Software reliability methods. ISBN: 0-387-95106-7
Clarke, Jr., Edmund M.; Model checking. ISBN: 0-262-03270-8

Software

VDMTools
Spin
Coq
CafeOBJ
Alloy Analyzer

keywords

Technological sciences > Engineering > Computer engineering
Technological sciences > Technology > Computer technology > Software technology

Evaluation Type

Distributed evaluation with final exam

Assessment Components

Description	Type	Time (hours)	Weight (%)	End date
Subject Classes	Participação presencial	56,00
	Exame	10,00		2008-07-29
	Trabalho escrito	50,00		2008-05-26
	Total:	-	0,00

Amount of time allocated to each course unit

Description	Type	Time (hours)	End date
	Estudo autónomo	20	2008-07-29
	Total:	20,00