|
Ref
|
Y/S
|
Module
|
Institution
|
Contact
|
Topics/Langs/Tools
|
|---|
|
MSH1012
|
3
|
Formal Specification
|
Anglia
|
N. Dean
|
Z
|
|
|
|
Software Engineering II
|
Cambridge
|
L.C. Paulson
|
ARef
,
SML
,
Z
|
|
CO508
|
BSc 2
|
Software and Systems Design
|
Kent
|
R. Lemos
|
CADiZ
,
Z
|
|
CO515
|
BSc 2
|
Theory of Computer Science
|
Kent
|
J. Derrick
|
FOL
,
FP
,
FPT
,
Z
|
|
|
4
|
Software Engineering
|
Lisbon
|
R.G. Crespo
|
LOTOS
,
Z
|
|
|
|
Foundations of Systems Development
|
L-M-U München
|
M. Wirsing
|
ADT
,
CASL
,
FPT
,
LTL
,
MC
,
SPIN
,
TLA
,
Z
|
|
MSF-CA
|
MSc
|
Model-Oriented Formal Methods
|
Nantes
|
J.C. Attiogbé
|
AtelierB
,
B
,
Z
,
ZANS
,
ZEVES
,
ZTC
|
|
SEM
|
M
|
Software Engineering Mathematics
|
Oxford
|
A. Martin
|
DMat
,
Z
|
|
SDE
|
M
|
Specification and Design
|
Oxford
|
A. Martin
|
FuZZ
,
Z
|
|
ASD
|
M
|
Advanced Software Development
|
Oxford
|
J. Davies
|
DRef
,
RC
,
Z
|
|
MF
|
5
|
Méthodes Formelles de spécification des Systèmes Informatiques
|
Paris (ENST)
|
S. Vignes
|
B
,
Z
|
|
CM140
|
1
|
Introduction to Formal Methods
|
Southampton
|
M.J. Butler
|
PV
,
Z
,
ZTC
|
|
EL208
|
2
|
Z Specification Design Exercise
|
Southampton
|
M.J. Butler
|
Z
,
ZTC
|
|
CS L3
|
S2
|
Systems and Software Engineering
|
London (S.B.)
|
A. Abdallah
|
CSP
,
Haskell
,
Z
|
|
31P6
|
|
Software Engineering II
|
Stirling
|
S. Maharaj
|
Z
|
|
213520
|
|
Formal Methods for Software Engineering
|
Twente
|
E. Brinksma
|
FSP
,
LTSA
,
PA
,
SDL
,
Z
,
ZEVES
|
