Filtrer vos résultats
- 57
- 26
- 62
- 10
- 6
- 4
- 1
- 1
- 80
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 3
- 2
- 1
- 1
- 5
- 3
- 8
- 6
- 12
- 5
- 5
- 7
- 3
- 1
- 3
- 3
- 4
- 2
- 2
- 79
- 4
- 31
- 23
- 23
- 21
- 18
- 11
- 7
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 83
- 12
- 11
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
83 résultats
De la nécessité de fédérer des modèles dans une chaîne d'outilsGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23
Article dans une revue
hal-00904995v1
|
|||
AADL model transformation for formal verification3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès
hal-00517223v1
|
|||
MoPCoM Methodology: Focus on Models of Computation6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Communication dans un congrès
hal-00517464v1
|
|||
|
Counts countProceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
Communication dans un congrès
inria-00477563v1
|
||
|
Security Analysis: From model to system analysisCRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Communication dans un congrès
hal-03866297v1
|
||
A Modeling Approach for Marine ObservatorySensors & Transducers., 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
Article dans une revue
hal-01121845v1
|
|||
Relationships Formalization for Model-Based Product LinesAPSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Communication dans un congrès
hal-00773497v1
|
|||
Multiple Feature Models & Relationships in a Model-Based Product Line ProcessLignes de produits, Oct 2011, Paris, France
Communication dans un congrès
hal-00676780v1
|
|||
L'IDM, un levier pour l'intégration d'outils : l'approche iFESTGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
Article dans une revue
hal-00677183v1
|
|||
|
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès
hal-01258358v1
|
||
Security Analysis17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
Communication dans un congrès
hal-04161319v1
|
|||
Une organisation des Lignes de Produits Logiciels autour d'un motif architecturalCAL 2012, May 2012, Montpellier, France
Communication dans un congrès
hal-00704312v1
|
|||
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of ComputationSLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Communication dans un congrès
hal-00912574v1
|
|||
MODAL: A SPEM Extension to Improve Co-design Process ModelsInternational Conference on Software Process (ICSP'10), Jun 2010, Paderborn, Germany. pp.Non renseigne
Communication dans un congrès
hal-00517463v1
|
|||
Towards a Clear Definition of Patterns, Aspects and Views in MDAWorkshop EMSISE'03, 2003, Switzerland
Communication dans un congrès
hal-00517476v1
|
|||
Embedded Model Driven EngineeringNon renseigne, pp.Non renseigne, 2003
Ouvrages
hal-00517477v1
|
|||
|
Towards a Meta-Language for the Concurrency Concern in DSLsDesign, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01087442v1
|
||
|
Operational Semantics of the Model of Concurrency and Communication Language[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport
hal-01060601v2
|
||
Une sémantiques opérationelle pour une meilleure métamodélisationAtelier SéMo'07, 2007, France. pp.Non renseigne
Communication dans un congrès
hal-00517470v1
|
|||
Modélisation distribuée par métier pour les systèmes embarquésWorkshop OCM dans le cadre de LMO'05, 2005, Berne, Switzerland
Communication dans un congrès
hal-00517471v1
|
|||
Software Design Methodology for Embedded SystemsConference of research topics, Nov 2001, Bucarest, Romania
Communication dans un congrès
hal-00517296v1
|
|||
Case Study Modeling Using MARTEEmbedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
Chapitre d'ouvrage
hal-00821955v1
|
|||
Towards a Dynamic Infrastructure for Playing withSystems of SystemsECSA 2014, Aug 2014, Vienne, Austria
Communication dans un congrès
hal-01090362v1
|
|||
Multi-Level Modeling with Openflexo/FMLEnterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue
hal-03692372v1
|
|||
Using MARTE in the MOPCOM SoC/SoPC MethodologyWorkshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Communication dans un congrès
hal-00517468v1
|
|||
Smart Sensor Metamodel For Deep Sea ObservatoryConf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
Communication dans un congrès
hal-00517467v1
|
|||
FPGA design based on UML/MDA approach: Application to an RF Emitter Transceiver developmentconf. DAC'07, 2007, San Diego, United States. pp.Non renseigne
Communication dans un congrès
hal-00517469v1
|
|||
|
Model-driven Architecture of a Maritime Surveillance System SimulatorSystems Engineering, 2010, 13 (3), pp.290-297. ⟨10.1002/sys.20149⟩
Article dans une revue
inria-00538455v1
|
||
A Role Language to Interpret Multi-Formalism System of Systems ModelsSyscon 2015, IEEE, Apr 2015, Vancouver, Canada
Communication dans un congrès
hal-01156518v1
|
|||
|
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product LinesMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914377v1
|