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

Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation

 Samy Meftali
Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2010
HDR tel-00528470v1
Image document

Generating operation specifications from UML class diagrams: A model transformation approach

 Manoli Albert , Jordi Cabot , Cristina Gómez , Vicente Pelechano
Data and Knowledge Engineering, 2011, 70 (4), pp.365-389. ⟨10.1016/j.datak.2011.01.003⟩
Article dans une revue inria-00573717v1

ECOOP 2006-Object-Oriented Technology. Workshop Reader, Workshops, Nantes, France, July 3-7, 2006, Final Reports

 Mario Südholt , Charles Consel
Springer Verlag, Vol. 4379, 157 p., 2007, Lecture Notes in Computer Science, 978-3-540-71772-0
Ouvrages inria-00473630v1
Image document

Le projet AEE et la description UML des architectures embarquées pour l'automobile.

 Jean-Pierre Elloy , Françoise Simonot-Lion , Yvon Trinquet
Workshop UML and TR 2001, 2001, Nantes/France, 68 p
Communication dans un congrès inria-00107542v1
Image document

Towards an incremental development of UML specifications

 Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
2007
Autre publication scientifique hal-00182180v1
Image document

Une ontologie formalisée du domaine des risques et des catastrophes

 Damienne Provitolo , Jean-Pierre Müller , Edwige Dubos-Paillard
2010
Pré-publication, Document de travail halshs-00643602v1

Enhancing the Communication Value of UML Models with Graphical Layers

 Yosser El Ahmar , Sébastien Gérard , Cedric Dumoulin , Xavier Le Pallec
Models 15, Sep 2015, Ottawa, On, Canada. pp.64-69
Communication dans un congrès hal-01216512v1

Access to online data - A case study of the PROTEUS strategy of application integrating

 Thomas Bangemann , Jean-Pierre Thomesse , Raik Strohbach , Kamil Karbowiak
IEEE Mechatronics and Robotics - MechRob'2004, 2004, Aachen/Germany, pp.1135-1139
Communication dans un congrès inria-00100066v1

On the Verification of UML/OCL Class Diagrams using Constraint Programming

 Jordi Cabot , Robert Clarisó , Daniel Riera
Journal of Systems and Software, 2014, ⟨10.1016/j.jss.2014.03.023⟩
Article dans une revue hal-00974321v1
Image document

Consistency in UML and B multi-view specifications

 Dieu Donné Okalas Ossami , Jean-Pierre Jacquot , Jeanine Souquières
Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Communication dans un congrès hal-00009478v1
Image document

FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML

 Sébastien Le Beux , Jean-Luc Dekeyser , Philippe Marquet
[Research Report] RR-5810, INRIA. 2006, pp.13
Rapport inria-00070214v1
Image document

Une étude sémantique du langage QML

 Jacques Malenfant
[Rapport de recherche] RR-4497, INRIA. 2002
Rapport inria-00072091v1
Image document

Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE

 Adolf Samir Abdallah
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français. ⟨NNT : ⟩
Thèse tel-00597031v1
Image document

Hybrid MARTE statecharts

 Jing Liu , Ziwei Liu , Jifeng He , Frédéric Mallet , Zuohua Ding
Frontiers of Computer Science, 2013, 7 (1), pp.95-108. ⟨10.1007/s11704-012-1301-1⟩
Article dans une revue hal-00800920v1
Image document

Towards the use of slicing techniques for an efficient invariant checking

 Wuliang Sun , Benoit Combemale , Robert B. France
MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Communication dans un congrès hal-01141395v1

Graph-Based Representation and Reasoning: Proceedings of the 22th Conference on Conceptual Structures, ICCS 2016

 Ollivier Haemmerlé , Stapleton Gem , Catherine Faron Zucker
Ollivier Haemmerlé; Catherine Faron-Zucker; Stapleton Gem. 22nd International Conference on Conceptual Structures (ICCS 2016), Jul 2016, Annecy, France. 9717, Springer, pp.X, 261, 2016, Lecture Notes in Artificial Intelligence, 978-3-319-40984-9. ⟨10.1007/978-3-319-40985-6⟩
Proceedings/Recueil des communications hal-01331006v1
Image document

Modeling functional and non-functional properties of systems based on a multi-view approach

 Carlos Ernesto Gómez Cárdenas
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4153⟩
Thèse tel-00931001v2

Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives

 Imran Rafiq Quadri , Abdoulaye Gamatié , Pierre Boulet , Samy Meftali , Jean-Luc Dekeyser
Journal of Systems Architecture, 2012, ⟨10.1016/j.sysarc.2012.01.001⟩
Article dans une revue istex hal-00666014v1

MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

 Frédéric Mallet , Robert de Simone
Martin Radetzki. Languages for Embedded Systems and their Applications, 36, Springer, pp.27-41, 2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3. ⟨10.1007/978-1-4020-9714-0_2⟩
Chapitre d'ouvrage istex inria-00416656v1
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
Page :