Home Page of Pascal

Interest groups

Groups, Lists and Networks

GdR GPL Groupes de travail MTV2 IDM Sécurité
GdR Sécurité Informatique Groupe de Travail GT-MFSEC
FON-AQL site (en)
OnQualité group
Ouest Numérique linked
AgileNantes group
Smalltalk group
ESUG group
Ecoop group
SEWORLD group
EATCS group
LMO group
PlanetMDE group
Methode B group
L'association APCB group
Specif group

Domaine Qualité des logiciels linked (en)
Formal Methods Europe linked (en)
Formal Methods: Specification, Verification, TCG linked (en)
IDM linked (en)
MDA linked (en)
Nantes JUG linked (en)
nantes-gtug group
OCL linked (en)
OOPSLA linked (en)
Requirements Engineering Specialist Group (RESG) linked (en)
Smalltalk linked (en)
SysML France linked (en)
TOOLS linked (en)
UML&FM linked (en)
SoftwareEngineering linked (en)

Research Projects (since 2007)

ANR RODIC (link)
CASTAV
EV3 (link)
COSTO/Kmelia (link)
ONECAD (link)
Econet (lien)
PUCA (link)
Miles (link)

[Elder projects]

Some bookmarks

Formal Methods world (link)
TOOLS (link)
Pharo project (link)
CADP (link)
Altarica (link)
CZT (link) the new Z toolkit
AtelierB (link) Event-B and the Rodin Platform (link)
TINA (lien)
SOFA2 (link)
Fractal (link)
Code Quality (link)
CFTL (link)
iRealité (link)
BiblioSTI (link)
UFE (link)
CNU (link)

[Elder bookmarks]