Aide à la spécification  Algèbre processus  Analyse automatique  Analyse syntaxico-sémantique  B  B  B method  B événementiel  Behavioral conformance  Cas d'utilisation  Class diagrams  Communication -- Analyse de réseau  Constraints  Contrainte OCL  Contraintes  Control language  Derivation schema  Derivation templates  Design patterns  Diagrammes d'états-transitions  Diagrammes de classes  Développement formel  Développement logiciel  Développement à objets  Event  Exigences  Formal development  Formal specification  Génie logiciel  Identification  Ingénierie des exigences  Integration  Intégration  JavaScript  JavaScript  Langage commande  Langage naturel  Langage spécification  Langages formels  Liens  Logiciels -- Développement  Logiciels -- Réutilisation  Logiciels -- Validation  Lotos  Méthode B  Méthodes formelles  Méthodes formelles  Natural language  Notations UML  OCL  OCL constraint  OCL operation  Object-oriented development  Obligation de preuve  Opération OCL  Opération UML  Outils  Pattern  Perception des structures  Polymorphismes sûr  Preuves  Process algebra  Program specification  Proof oblication  Proofs  Protocole transmission  Raffinement  Reference to actions  Refinement  Reuse  Référence aux actions  Réutilisation  Schéma de dérivation  Schémas de dérivation  Simulation  Software development  Software engineering  Specification assistance  Specification language  Spécification  Spécification formelle  Spécification programme  Statechart diagrams  Syntactico semantic analysis  Systèmes de télécommunications  Systèmes homme-machine  Systèmes informatiques -- Mise en oeuvre  Systèmes, Conception de  Transmission protocol  UML  UML notations  UML operation  Uml  Use case  Validation  Vérification  Événements  

Jeanine Souquières a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1993
Thèse soutenue


Jeanine Souquières a dirigé les 6 thèses suivantes :

Informatique
Soutenue en 2002
Thèse soutenue


Jeanine Souquières a été président de jury de la thèse suivante :