Page perso de Pascal

Groupes d'intérêts

Groupes, Listes and Réseaux

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

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

Projets de recherche (depuis 2007)

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

[Anciens liens]

Quelques liens

Formal Methods world (lien)
TOOLS (lien)
Pharo project (lien)
CADP (lien)
Altarica (lien)
CZT (lien) une nouvelle boîte à outils
AtelierB (lien) Event-B et Rodin (lien)
TINA (lien)
SOFA2 (lien)
Fractal (lien)
Code Quality (lien)
CFTL (lien)
iRealité (lien)
BiblioSTI (lien)
UFE (lien)
CNU (lien)

[Anciens liens]