Bruel, Jean-Michel, 1969-...., enseignant-chercheur en informatique
Bruel, Jean-Michel, 1969-
Bruel, Jean-Michel
Bruel, Jean-Michel 19..-... informaticien
Jean-Michel Bruel
VIAF ID: 17453181 ( Personal )
Permalink: http://viaf.org/viaf/17453181
Preferred Forms
- 200 _ | ‡a Bruel ‡b Jean-Michel ‡f 1969-....
-
-
-
- 100 1 _ ‡a Bruel, Jean-Michel ‡d 19..-... ‡c informaticien
-
-
- 100 1 _ ‡a Bruel, Jean-Michel, ‡d 1969-
-
-
- 100 1 _ ‡a Bruel, Jean-Michel, ‡d 1969-...., ‡c enseignant-chercheur en informatique
- 100 0 _ ‡a Jean-Michel Bruel
5xx's: Related Names (2)
- 511 2 _ ‡a Institut de Recherche en Informatique de Toulouse (1995-....)
- 511 2 _ ‡a Université Toulouse-Jean Jaurès
Works
Title | Sources |
---|---|
Advances in object-oriented information systems : OOIS 2002 workshops, Montpellier, France, September 2, 2002 : proceedings | |
Agir sur la fiabilité et la flexibilité des logiciels scientifiques en sciences de l’environnement : vers une approche systématique d’aide à la prise de décision. | |
Analysis of human vulnerability in socio-technical systems of systems. | |
Application de l'ingénierie dirigée par les modèles dans le domaine des systèmes multi-agents : un langage pour décrire les comportements des agents réactifs. | |
Application of model-driven engineering to multi-agent systems : a language to model behaviors of reactive agents | |
Approaches for analyzing security properties of smart objects. | |
Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performance | |
Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles. | |
Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce | |
Approche pour le développement de logiciels intégrant des concepts de qualité de service | |
Approche systématique basée sur fUML pour formaliser la sémantique d'exécution des profils UML | |
Articulation between definite and semi-definite activities in software development. | |
Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels | |
Assisting in secure application development and testing. | |
Automatic tests generation from SysML models for the functionnal validation of embedded. | |
B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages | |
BCOol : the Behavioral Coordination Operator Language. | |
Un cadre de définition de la sémantique basée MoC des modèles de systèmes dans le contexte de l'intégration d'outils | |
Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation | |
Contribution to an equipped approach for the design of executable, verifiable and interoperable Domain Specific Modelling Languages for Model Based Systems Engineering. | |
A Declarative Approach for Model Generation. | |
Développement sans rupture de systèmes complexes : une approche basée multi-exigences | |
Environnement pour l'analyse de sécurité d'objets communicants | |
Exigences orientées objets dans un cycle de vie continu | |
Explicit modeling of the semantic adaptation between models of computation. | |
A framework for the definition of a system model MoC-based semantics in the context of tool integration. | |
FUZE: AN INTEGRATED ENVIRONMENT FOR THE FORMAL ANALYSIS OF DISTRIBUTED AND REAL-TIME SOFTWARES. | |
FuZe : un environnement integre pour l'analyse formelle de logiciels distribues temps reel | |
An integrated model-based early validation approach for railway systems | |
Justification Factory : from justification requirements elicitation to their continuous production. | |
Make reusable components extracted an object-oriented implementation. | |
Methodological approach for maintaining consistency of system on chip design data. | |
Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles | |
Méthodologies outillées de développement de services dédiés à l'assistance domiciliaire | |
A model-based approach for the develoment of high-performance scientific computing software. | |
A model driven approach for the development and verification of service-oriented applications | |
Model driven engineering languages and systems : 11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings | |
Modeling and verification of functional and non functional requirements of ambient, self adaptative systems | |
Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES) | |
Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant | |
Modélisation de systèmes complexes avec SysML | |
Modélisation et vérification des exigences fonctionnelles et non fonctionnelles des systèmes ambiants auto-adaptatifs. | |
Modélisation explicite de l'adaptation sémantique entre modèles de calcul. | |
MoDELS 2005 | |
Multi-Faceted Modelling of Multi-Energy Systems : Stakeholders Coordination | |
Multi-vue design pour cyber-physical systems | |
On reliability and flexibility of scientific software in environmental science : towards a systematic approach to support decision-making | |
Optimisation de l'architecture de systèmes embarqués par une approche basée modèle | |
Optimisation multi-objectifs d'architectures par composition de transformation de modèles | |
Persistance, requêtage, et transformation efficaces de grands modèles. | |
Préserver la séparation des préoccupations durant l'intégration de domaines hétérogènes dans les systèmes logiciels | |
Preserving separation of concerns while integrating heterogeneous domains in software systems. | |
QoS in CBSE 2003 proceedings of the 1st International workshop on quality of service in component based software engineering, Worshop at Ada-Europe 2003, Toulouse, France, June 2003 | |
Rendre réutilisables des composants extraits d'une application orientée-objets | |
Reuse of legacy code for DSML tools in the context of MPSoC. | |
Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC | |
Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops, Doctoral Symposium, Educator's Symposium : Montego Bay, Jamaica, October 2-7, 2005 : revised selected papers | |
Seamless development of complex systems : a multirequirements approach. | |
Seamless Object-Oriented Requirements. | |
Simulation system design methodology in Extended Enterprise, based on model-driven system engineering. | |
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers | |
A step-wise approach for integrating QoS throughout software development process. | |
Support à la réutilisation par la rétro-ingénierie des architectures et des composants logiciels à partir du code source orienté objet des variantes de produits logiciels et d'APIs. | |
Supporting Reuse by Reverse Engineering Software Architecture and Component from Object-Oriented Product Variants and APIs | |
Tool-based methodologies for developing assisted living services. | |
TOOLS 2019 | |
Towards a tooled and proven formal requirements engineering approach. | |
Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML. | |
User centric modeling for ambient software configuration. | |
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée | |
Vers une approche orientée aspect d'ingénierie des besoins dans les organisations multi-entreprises |