Formal Methods in Software Engineering

Code:

EIC0039

Acronym:

MFES

Keywords
Classification	Keyword
OFICIAL	Software Engineering

Instance: 2006/2007 - 2S

Active?	Yes
Web Page:	http://paginas.fe.up.pt/~apaiva/teach/0607/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	-
MIEIC	29	Syllabus since 2006/2007	4	-	5	-
		Plano de estudos de transição para 2006/07	4	-	5	-

Teaching language

Portuguese

Mandatory literature

Fitzgerald, John; Validated designs for object-oriented systems. ISBN: 1-85233-881-4

Complementary Bibliography

Fitzgerald, John; Modelling systems. ISBN: 0-521-62605-6
Alagar, V. S.; Specification of software systems. ISBN: 0-387-98430-5

Software

Spec Explorer
VDMTools

keywords

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

Evaluation Type

Distributed evaluation with final exam

Assessment Components

Description	Type	Time (hours)	Weight (%)	End date
Subject Classes	Participação presencial	26,00
	Exame	4,00		2007-07-31
	Exame	20,00		2007-06-08
	Trabalho escrito	65,00		2007-06-08
	Total:	-	0,00

Amount of time allocated to each course unit

Description	Type	Time (hours)	End date
	Estudo autónomo	20	2007-06-08
	Total:	20,00