Ledru, Yves
VIAF ID: 194861292 ( Personal )
Permalink: http://viaf.org/viaf/194861292
Preferred Forms
- 100 1 _ ‡a Ledru, Yves
-
Works
Title | Sources |
---|---|
Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel | |
Approches formelles pour l'aide au développement de logiciels, 2001 | |
Articulation between definite and semi-definite activities in software development. | |
B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B | |
Un cadre générique pour les méthodes d'évolution continue ; Adaptation à l'amélioration continue des processus métiers des organisations | |
Conception d'une méthodologie pour améliorer la gestion des réglementations aéronautiques | |
concrete and relevant exploration of abstract event systems for automatic tests generation. | |
Contributions à l'amélioration du débogage des services noyau dans un système d'exploitation monolithique. | |
Contributions for improving debugging of kernel-level services in a monolithic operating system | |
Couplage de notations semi-formelles et formelles pour la specification des systemes d'information | |
Designing a methodology to improve the management of civil aviation regulations. | |
Exploration of generic architectures on FPGA for algorithms of multispectral imaging. | |
Extension des systèmes de métamodélisation persistant avec la sémantique comportementale | |
Filtrage et réduction de tests combinatoires. | |
Formal methods for extracting insider attacks from Information Systems. | |
A General Framework for the Continual Evolution Methods; Adaptation to the Continual Evolution of Organization’s Business Processes. | |
Handling behavioral semantics in persistent metamodeling systems. | |
Journées du GRD-GPL 09, 28-30 janvier 2009 à l'ENSEEIHT, Toulouse | |
Une méthode pour le développement collaboratif de systèmes embarqués | |
Model based testing integration in a software development process. | |
Modélisation UML/B pour la validation des exigences de sécurité des règles d'exploitation ferroviaires | |
Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire | |
ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques | |
Software architecture : an industrial experiment with Dassault Systems. | |
Spécification et animation de modèles de conception de la sécurité avec Z | |
Spécification et réalisation d'un formalisme générique pour la segmentation multiple de documents textuels multilingues | |
Synthèse automatique d'architectures tolérantes aux fautes | |
Test schemas : an abstraction for generation of conformance tests and coverage measure. | |
Tools for the tests generation and the control of the combinatorial explosion. | |
UML/B modeling for the safety requirements validation of railway operating rules. | |
Verification and validation of healthcare access control policies. | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical | |
Vérification formelle de la configuration des processus métiers dans le Cloud. |