Souquières, Jeanine
VIAF ID: 213023393 ( Personal )
Permalink: http://viaf.org/viaf/213023393
Preferred Forms
- 200 _ | ‡a Souquières ‡b Jeanine
- 100 1 _ ‡a Souquières, Jeanine
- 100 1 _ ‡a Souquières, Jeanine
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
AFADL 2013 | |
Aide à la réutilisation de spécifications formelles en LOTOS | |
Aides au développement de spécifications | |
Approches formelles pour le développement de logiciels | |
Articulation between definite and semi-definite activities in software development. | |
Construction et transformations d'algorithmes itératifs. | |
Développement sans rupture de systèmes complexes : une approche basée multi-exigences | |
Développements formels par objets : Utilisation conjointe de B et d'UML | |
Formal developments by objects: joint Use of B and of UML. | |
Les modèles de langage statistiques : de la reconnaissance à la traduction | |
Référence aux actions dans des dialogues de commande homme-machine | |
Seamless development of complex systems : a multirequirements approach. | |
A Simulation Framework for the Validation of Event-B Specifications. | |
The statistical models of language: of the gratitude in the translation. | |
Traduction systématique de spécifications |