Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

84 résultats
keyword_s : UML
Page :
triés par
Image document

Multi-View Power Modeling based on UML MARTE and SysML

 Carlos Gomez , Julien Deantoni , Frédéric Mallet
[Research Report] RR-7934, INRIA. 2012, pp.19
Rapport hal-00688853v1
Image document

Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE

 Charles André , Frédéric Mallet , Robert de Simone
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
Communication dans un congrès inria-00204484v1

Power consumption analysis using multi-view modeling

 Carlos Gomez , Julien Deantoni , Frédéric Mallet
PATMOS - 23th International Workshop on Power and Timing Modeling, Optimization and Simulation, Sep 2013, Karlsruhe, Germany. pp.235-238, ⟨10.1109/PATMOS.2013.6662180⟩
Communication dans un congrès hal-00906733v1
Image document

Developing Specifications by using Operators: a Process to guarantee correctness by construction

 Dieu Donné Okalas Ossami , Jeanine Souquières , Jean-Pierre Jacquot
2006
Pré-publication, Document de travail hal-00104266v1
Image document

Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification

 Aamir Mehmood Khan , Frédéric Mallet , Muhammad Rashid
[Research Report] RR-8909, I3S; INRIA. 2016
Rapport hal-01309604v2
Image document

Quelques patrons de raffinement pour le développement de diagrammes de classes UML

 Boulbaba Ben Ammar , Mahamed Tahar Bhiri , Jeanine Souquières
6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p
Communication dans un congrès hal-00182740v1
Image document

Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams

 Cedric Dumoulin , Sébastien Gerard
[Research Report] RR-7432, INRIA. 2010, pp.9
Rapport inria-00527850v1
Image document

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

 Sébastien Demathieu , Sébastien Gérard , Frédéric Mallet
ElectroniqueS, 2008, 189, pp.2-6
Article dans une revue inria-00371386v1
Image document

Modélisation de la sémantique formelle des langages de programmation en UML et OCL

 Jacques Malenfant
RR-4499, INRIA. 2002
Rapport inria-00072089v1
Image document

UMLAUT: an Extendible UML Transformation Framework

 Wai Ming Ho , Jean-Marc Jézéquel , Alain Le Guennec , François Pennaneac'H
[Research Report] RR-3775, INRIA. 1999
Rapport inria-00072886v1
Image document

Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Approach

 Ouassila Labbani , Jean-Luc Dekeyser , Pierre Boulet , Eric Rutten
[Research Report] RR-5794, INRIA. 2006, pp.49
Rapport inria-00070228v1
Image document

A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams

 Aamir Khan , Frédéric Mallet , Muhammad Rashid
Software and Systems Modeling, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩
Article dans une revue hal-01670423v1
Image document

Transforming CCSL partially-ordered Traces into UML Interaction Diagrams

 Kelly Garcés , Julien Deantoni , Frédéric Mallet
[Research Report] RR-7842, INRIA. 2011
Rapport hal-00652987v1
Image document

From UML to Petri Nets for non functional Property Verification

 Frédéric Mallet , Marie-Agnès Peraldi-Frati , Charles André
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., Oct 2006, Sophia antipolis, France. ⟨10.1109/IES.2006.357475⟩
Communication dans un congrès inria-00371277v1
Image document

Modèles de temps et de contraintes temporelles de MARTE et leurs applications

 Charles André
[Rapport de recherche] RR-7788, INRIA. 2011, pp.22
Rapport hal-00639211v1
Image document

Formalisation of enterprise modelling standards using UML and the B method.

 Hervé Panetto , Jean-François Pétin , Dominique Méry
8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
Communication dans un congrès hal-00120944v1
Image document

Component-based Models Going Generic : the MARTE Case-Study

 César Olavo de Moura Filho , Anne Etien , Julien Taillard , Cedric Dumoulin , Frédéric Guyomarc'H
[Research Report] RR-6632, INRIA. 2008
Rapport inria-00319159v2
Image document

From MARTE to dynamically reconfigurable FPGAs : Introduction of a control extension in a model based design flow

 Imran Rafiq Quadri , Samy Meftali , Jean-Luc Dekeyser
[Research Report] RR-6862, INRIA. 2009
Rapport inria-00365061v1
Image document

Gaspard2 UML profile documentation

 Rabie Ben Atitallah , Pierre Boulet , Arnaud Cuccuru , Jean-Luc Dekeyser , Antoine Honoré , et al.
[Technical Report] RT-0342, INRIA. 2007, pp.45
Rapport inria-00171137v2
Image document

A Methodology to Develop High Performance Applications on GPGPU Architectures: Application to Simulation of Electrical Machines

 de Oliveira Rodrigues Antonio Wendell
Electromagnetism. Université des Sciences et Technologie de Lille - Lille I, 2012. English. ⟨NNT : ⟩
Thèse tel-00670221v1
Image document

Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation

 Chiraz Trabelsi
Systèmes embarqués. Université des Sciences et Technologie de Lille - Lille I, 2013. Français. ⟨NNT : ⟩
Thèse tel-00852361v1
Image document

A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model

 Yu Huafeng
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English. ⟨NNT : ⟩
Thèse tel-00497248v1

Analyse formelle de données relationnelles pour la réingénierie des modèles UML

 Amine Mohamed Rouane Hacene , Michel Dao , Marianne Huchard , Petko Valtchev
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008
Article dans une revue inria-00321997v1
Image document

Design of a Library for Dense Matching

 Matthieu Personnaz , Peter Sturm , Frédéric Devernay
RT-0278, INRIA. 2003, pp.34
Rapport inria-00069900v1

Decentralized control for dynamically reconfigurable FPGA systems

 Samy Meftali , Jean-Luc Dekeyser , Chiraz Trabelsi
Microprocessors and Microsystems: Embedded Hardware Design , 2013, 37 (8), pp.871-884. ⟨10.1016/j.micpro.2013.04.012⟩
Article dans une revue istex hal-00922290v1

Modeling AADL data-communications with UML MARTE

 Charles André , Frédéric Mallet , Robert de Simone
Eugenio villar. Embedded Systems Specification and Design Languages, 10, Springer, pp.150-170, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2. ⟨10.1007/978-1-4020-8297-9_11⟩
Chapitre d'ouvrage istex inria-00371366v1
Image document

Improving Semantic Transparency of Committee-Designed Languages through Crowd-sourcing

 Amine El Kouhen , Abdelouahed Gherbi , Cédric Dumoulin
14th Workshop on Domain-Specific Modeling @ SPLASH, Oct 2014, Oregon - Portland, United States
Communication dans un congrès hal-01076729v1
Image document

Aspectual Templates in UML

 Gilles Vanwormhoudt , Olivier Caron , Bernard Carré
2013
Rapport hal-00846060v3

Object-oriented applications development: using UML and B

 Eric Meyer
Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p
Communication dans un congrès inria-00098867v1

DAMeSI, Un outil pour la simulation et l'évaluation du système d'information de l'atelier de production PSA

 Domenico Cavaliere , Olivier Hembert
2eme Conférence Annuelle d'Ingénierie Systéme, AFIS, Jun 2001, Toulouse/France, 8 p
Communication dans un congrès inria-00100499v1
Page :