Gérard, Sébastien.
Gérard, Sébastien, 1971-...., informaticien
Gérard, Sébastien, 1973-....
Gérard, Sébastien, informatičar
VIAF ID: 103350365 ( Personal )
Permalink: http://viaf.org/viaf/103350365
Preferred Forms
-
- 100 1 _ ‡a Gérard, Sébastien
- 100 1 _ ‡a Gérard, Sébastien ‡d 1973-
- 100 1 _ ‡a Gérard, Sébastien, ‡d 1971-...., ‡c informaticien
- 100 1 _ ‡a Gérard, Sébastien, ‡d 1973-....
- 100 1 _ ‡a Gérard, Sébastien
-
-
-
Works
Title | Sources |
---|---|
Actes des 1ères journées sur l'ingénierie dirigée par les modèles : IDM05, Paris, 30 juin - 1er juillet 2005 | |
Améliorer la compréhension d'un programme à l'aide de diagrammes dynamiques et interactifs | |
Améliorer l'efficacité cognitive des diagrammes UML : Application de la Sémiologie Graphique | |
AMSA, a framework dedicated to simulation of control laws for racing sailboats. | |
AMSA, un framework dédié à la simulation des lois de contrôle pour des voiliers de compétition | |
Approche dirigée par les modèles pour le développement et la vérification des applications orientées-services. | |
Augmenting software engineers with modeling assistants | |
BCOol : the Behavioral Coordination Operator Language. | |
Bridging the gap between natural language system requirements and architecture design models | |
Combler le fossé entre les exigences du système exprimées en langage naturel et les modèles de conception d’architecture. | |
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles | |
Contribution to the software execution platform integration in a generative model driven engineering. | |
Design of real time system family models. | |
Développement sans rupture de systèmes complexes : une approche basée multi-exigences | |
Enhance software comprehension with dynamic and interactive diagrams. | |
Enhancing the cognitive effectiveness of UML diagrams : Application of the Semiology of Graphics. | |
From MDD concepts to experiments and illustrations | |
Local energy usage optimisation : a digital twin for microgrid case study. | |
Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles. | |
Methodology for a Model-based Timing Analysis Process for Automotive Systems | |
Model-Based Software Engineering : méthodologies pour la synchronisation entre modèle et code dans le développement de systèmes réactifs. | |
Model-driven co-simulation of Cyber-Physical Systems | |
Model driven engineering for distributed real-time embedded systems | |
Model-driven engineering using heterogeneous modeling languages : application to UML profiles. | |
Un modèle cognitif pour l'interprétation des expressions référentielles dans le cadre d'un système générique de dialogue homme-machine finalisé | |
Modeling and analysis of real-time and embedded systems with UML and MARTE : developing cyber-physical systems | |
Modélisation conjointe logiciel/matériel de systèmes temps réel | |
Modélisation UML exécutable pour les systèmes embarqués de l'automobile | |
ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation | |
Optimisation de l'utilisation des énergies renouvelables : un jumeau numérique pour les microgrilles | |
Optimisation multi-objectifs d'architectures par composition de transformation de modèles | |
ORQA : a framework for the energy management in electric vehicles. | |
ORQA : un canevas logiciel pour la gestion de l'énergie dans les véhicules électriques | |
Persistance, requêtage, et transformation efficaces de grands modèles. | |
Seamless development of complex systems : a multirequirements approach. | |
Spécification d'un métamodèle pour l'adaptation des outils UML | |
Strategic generation of code to master the performances of real-time embedded systems. | |
Supporter les ingénieurs logiciels avec des assistants de modélisation. | |
Synthèse basée sur les modèles d’architectures automobiles temps réel distribuées. | |
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle |