Filtrer vos résultats
- 37
- 11
- 36
- 6
- 4
- 2
- 44
- 1
- 2
- 3
- 3
- 3
- 4
- 3
- 2
- 4
- 11
- 3
- 4
- 2
- 1
- 1
- 1
- 38
- 10
- 47
- 7
- 5
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 48
- 26
- 15
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 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
48 résultats
|
|
|
triés par
|
Android Executable Modeling: Beyond Android ProgrammingInternational Workshop on Mobile Applications (MobiApps 2014) at the 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Aug 2014, Barcelone, Spain
Communication dans un congrès
hal-01094146v1
|
|||
|
|
A software development process based on UML state machines2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, France. pp.1-8, ⟨10.1109/ICAASE51408.2020.9380117⟩
Communication dans un congrès
hal-03767300v1
|
||
|
|
Une approche de vérification d'exécution de modèles par contratsIDM'11, Jun 2011, Lille, France
Communication dans un congrès
inria-00637747v1
|
||
Implémentation d'un modèle UML de composition hiérarchique.In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;
Communication dans un congrès
hal-00395686v1
|
|||
OCL Contracts for the Verification of Model TransformationsElectronic Communications of the EASST, 2009, 24
Article dans une revue
hal-01906776v1
|
|||
Android Executable Modeling: Beyond Android ProgrammingModern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global, pp.269-283, 2016, 9781466699175 (ISBN); 1466699167 (ISBN); 9781466699168 (ISBN). ⟨10.4018/978-1-4666-9916-8.ch014⟩
Chapitre d'ouvrage
hal-01907083v1
|
|||
|
|
Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables7ème Conférence En IngénieriE Du Logiciel (CIEL 2018), 2018, Grenoble, France
Communication dans un congrès
hal-01912828v1
|
||
ATL transformation for the generation of SCA modelSKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Communication dans un congrès
hal-00751248v1
|
|||
|
|
World Wide Modeling Made Easy - A Simple, Lightweight Model ServerMODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.269-276, ⟨10.5220/0006110802690276⟩
Communication dans un congrès
hal-01912336v1
|
||
Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du LogicielUniversité de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010
Ouvrages
inria-00512764v1
|
|||
|
|
Executable Modeling for Reactive ProgrammingModel-Driven Engineering and Software Development. MODELSWARD 2018, 991, Springer, pp.1-8, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-11030-7_1⟩
Chapitre d'ouvrage
hal-02505865v1
|
||
On the Executable Nature of ModelsProceedings of the 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016, Oct 2016, Saint-Malo, France. pp.44-46
Communication dans un congrès
hal-01909100v1
|
|||
Adaptive Software based on Correct-by-Construction MetamodelsV. Garcia Diaz, J.M. Cueva Lovelle, B. Cristina Pelayo Gracia-Bustelo, O. Sanjuan Martinez. Progressions and Innovations in Model-Driven Software Engineering, IGI Global, pp.308-325, 2013, Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)
Chapitre d'ouvrage
hal-00840748v1
|
|||
ATL Transformation of UML 2.0 for the Generation of SCA ModelThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès
hal-00648916v1
|
|||
Transformation of Composite Web Service for QoS Extension into ACME\ArmaniThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès
hal-00648920v1
|
|||
UML 2.0 Profile for Structural and Behavioral Specification of SCA ArchitecturesThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès
hal-00648911v1
|
|||
Semantic mappings between service, component and agent models15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE'2012) , Jun 2012, Bertinoro, Italy. pp.29-34
Communication dans un congrès
hal-01101689v1
|
|||
|
|
An architecture and a process for implementing distributed collaborationsProceedings of EDOC 2002, Apr 2002, Lausanne, Switzerland
Communication dans un congrès
hal-00794774v1
|
||
Model-Driven Reverse Engineering of COBOL-Based ApplicationsTools and Consultancy Track in 5th European Conference on Model-Driven Architecture (ECMDA-FA 2009), Jun 2009, Twente, Netherlands
Communication dans un congrès
hal-01093453v1
|
|||
Service-Oriented Integration of Component and Agent Modelsspecial session on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC) of the 6th International Conference on Software and Data Technologies (ICSOFT 2011), Jul 2011, Rome, Italy
Communication dans un congrès
hal-00648907v1
|
|||
|
|
A Generic Solution for Weaving Business Code into Executable Models4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018, Copenhagen, Denmark. pp.251-256
Communication dans un congrès
hal-01912827v1
|
||
MDE approach for the generation and verification of SCA modeliiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Communication dans un congrès
hal-00751241v1
|
|||
A mediation based approach for formal verification of web services composition2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩
Communication dans un congrès
hal-02507291v1
|
|||
Inductive UMLModel and Data Engineering - 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings, Oct 2012, Poitiers, France. pp.153-161, ⟨10.1007/978-3-642-33609-6_15⟩
Communication dans un congrès
hal-01908724v1
|
|||
|
|
Characterization of Adaptable Interpreted-DSMLModelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, Jul 2013, Montpellier, France. pp.37--53, ⟨10.1007/978-3-642-39013-5_4⟩
Communication dans un congrès
hal-01909109v1
|
||
Software Adaptation: Classification and a Case Study with State Chart XMLIEEE Software, 2015, 32 (5), pp.68-76. ⟨10.1109/MS.2014.130⟩
Article dans une revue
hal-01906773v1
|
|||
Towards a Component Agent Service Oriented Model (short paper)5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France
Communication dans un congrès
hal-00648923v1
|
|||
Adaptation d'exécution de Modèles Par ContratsRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (6), pp.703-730. ⟨10.3166/tsi.34.703-730⟩
Article dans une revue
hal-01906772v1
|
|||
Correspondances sémantiques entre des modèles de services, de composants et d'agents6ème Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France
Communication dans un congrès
hal-01101694v1
|
|||
Component Design Based on Model ExecutabilityThe 34th EUROMICRO SEAA Conference, CBSE Track, IEEE Computer Society, Sep 2008, Parma, Italy. pp.;
Communication dans un congrès
hal-00384541v1
|
- 1
- 2