المؤلفون: Jürjens, Jan, Fernandez, Eduardo B., France, Robert B., Rumpe, Bernhard, Heitmeyer, Constance

المصدر: UML Modeling Languages and Applications, UML 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1409.6608

المؤلفون: Combemale, Benoit, De Antoni, Julien, France, Robert B., Boulanger, Frédéric, Mosser, Sebastien, Pantel, Marc, Rumpe, Bernhard, Salay, Rick, Schindler, Martin

المصدر: First Int. Workshop On the Globalization of Modeling Languages (GEMOC 2013): Towards the Model Driven Organization (AMINO 2013), Miami, Florida (USA), Volume 1102 of CEUR Workshop Proceedings, pages 3-13, CEUR-WS.org, 2013

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1408.5703

المؤلفون: Bennaceur, Amel, France, Robert B., Tamburrelli, Giordano, Vogel, Thomas, Mosterman, Pieter J., Cazzola, Walter, Costa, Fábio M., Pierantonio, Alfonso, Tichy, Matthias, Aksit, Mehmet, Emmanuelson, Pär, Gang, Huang, Georgantas, Nikolaos, Redlich, David

Relation: oai:zenodo.org:1248933

الاتاحة: https://doi.org/10.1007/978-3-319-08915-7_2

المؤلفون: Al Lail, Mustafa, author, France, Robert B., advisor, Ray, Indrakshi, advisor, Ray, Indrajit, committee member, Hamid, Idris Samawi, committee member, Malaiya, Yashwant K., committee member

مصطلحات موضوعية: properties, temporal, verification, specification, model checking, UML

وصف الملف: born digital; doctoral dissertations; application/pdf

Relation: AlLail_colostate_0053A_15099.pdf; https://hdl.handle.net/10217/191492

الاتاحة: https://hdl.handle.net/10217/191492

المؤلفون: Cheng, Betty H.C., Combemale, Benoit, France, Robert B., Jézéquel, Jean-Marc, Rumpe, Bernhard

المساهمون: Michigan State University East Lansing, Michigan State University System, Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Colorado State University Fort Collins (CSU), Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH), ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012)

المصدر: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224105 ; Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩

مصطلحات موضوعية: Domain-Specific Language, DSL, Globalization of DSLs, Model coordination, Modelling, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://inria.hal.science/hal-01224105
https://inria.hal.science/hal-01224105v1/document
https://inria.hal.science/hal-01224105v1/file/lncs-gemoc-dagstuhl-intro.pdf
https://doi.org/10.1007/978-3-319-26172-0_1

المؤلفون: Sun, Wuliang, Combemale, Benoit, France, Robert B.

المساهمون: Colorado State University Fort Collins (CSU), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), CNRS PICS MBSAR, ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012)

المصدر: MODULARITY 2015 ; https://inria.hal.science/hal-01141395 ; MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩ ; http://www.aosd.net/2015/

مصطلحات موضوعية: Slicing, Invariant Checking, UML, Model, OCL, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Fort Collins, United States

الاتاحة: https://inria.hal.science/hal-01141395
https://inria.hal.science/hal-01141395v1/document
https://inria.hal.science/hal-01141395v1/file/slicing_modularity_no_copyright.pdf
https://doi.org/10.1145/2735386.2735926

المؤلفون: Grant, Emanuel S., France, Robert B., Hsu, Sam

المصدر: Journal of Educational Media. Mar 2000 25(1):21-30.

Peer Reviewed: Y

Page Count: 10

Descriptors: Computer Assisted Instruction, Developing Nations, Elementary Secondary Education, Foreign Countries, Internet, Models, Technological Advancement

مصطلحات جغرافية: Barbados, Jamaica

المؤلفون: Mussbacher, Gunter, Amyot, Daniel, Breu, Ruth, Bruel, Jean-Michel, Cheng, Betty, Collet, Philippe, Combemale, Benoit, France, Robert B., Heldal, Rogardt, Hill, James, Kienzle, Jörg, Schöttle, Matthias, Steimann, Friedrich, Stikkolorum, Dave, Whittle, Jon

المساهمون: McGill University = Université McGill Montréal, Canada, University of Ottawa Ottawa, Leopold Franzens Universität Innsbruck - University of Innsbruck, Modèles, Architectures, Composants, Agilité et prOcessus (IRIT-MACAO), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Michigan State University East Lansing, Michigan State University System, Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Colorado State University Fort Collins (CSU), Chalmers University of Technology Göteborg, Purdue University West Lafayette, FernUniversität in Hagen , germany, Universiteit Leiden = Leiden University, Lancaster University, Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran

المصدر: LNCS ; 17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal.science/hal-01156595 ; 17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩

مصطلحات موضوعية: Challenges, Model-driven engineering, Research opportunities, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Valencia, Spain

Relation: OATAO: 13271

الاتاحة: https://hal.science/hal-01156595
https://hal.science/hal-01156595v1/document
https://hal.science/hal-01156595v1/file/mussbacher_13271.pdf
https://doi.org/10.1007/978-3-319-11653-2_12

المؤلفون: Jakšic, Aleksandar, France, Robert, B, Collet, Philippe, Ghosh, Sudipto

المساهمون: Department of Computer Science Colorado State University, Colorado State University Fort Collins (CSU), Université Nice Sophia Antipolis (1965 - 2019) (UNS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)

المصدر: 7th International Conference, SLE 2014
https://hal.science/hal-01345658
7th International Conference, SLE 2014, Sep 2014, Vasteras, Sweden. ⟨10.1007/978-3-319-11245-9_7⟩

مصطلحات موضوعية: FAMILIAR, Software Product Lines, Feature Modeling, Software Visualization, Model-Driven Development, FAMILIAR Tool, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Vasteras, Sweden

الاتاحة: https://hal.science/hal-01345658
https://hal.science/hal-01345658v1/document
https://hal.science/hal-01345658v1/file/SLE2014-CameraReadyDraft.pdf
https://doi.org/10.1007/978-3-319-11245-9_7

المؤلفون: Bencomo, Nelly, France, Robert B., Götz, Sebastian, Rumpe, Bernhard

المصدر: Aachen, Germany : RWTH Aachen, CEUR Workshop Proceedings 1079, I-IIX (2013). ; MRT 2013, Models Run.time : proceedings of the 8th Workshop on Models @ Run.time, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) : Miami, FL, USA, September 29, 2013 / edited by Nelly Bencomo, Robert France, Sebastian Götz, Bernhard Rumpe ; MRT 2013, Models Run.time : proceedings of the 8th Workshop on Models @ Run.time, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) : Miami, FL, USA, September 29, 2013 / edited by Nelly Bencomo, ....

جغرافية الموضوع: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/1613-0073; https://publications.rwth-aachen.de/record/464587; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2015-01388%22

الاتاحة: https://publications.rwth-aachen.de/record/464587
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2015-01388%22

المؤلفون: Combemale, Benoit, De Antoni, Julien, France, Robert B., Boulanger, Frédéric, Mosser, Sébastien, Pantel, Marc, Rumpe, Bernhard, Salay, Rick, Schindler, Martin

المصدر: Aachen, Germany : RWTH Aachen, CEUR Workshop Proceedings 1102, 3-13 (2013). ; Joint proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013), co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013 / GEMOC '13 co-ed. by Benoit Combemale . ; Joint proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013), co-located ....

جغرافية الموضوع: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/1613-0073; https://publications.rwth-aachen.de/record/464586; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2015-01387%22

الاتاحة: https://publications.rwth-aachen.de/record/464586
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2015-01387%22

المؤلفون: Clavreul, Mickaël, Mosser, Sébastien, Blay-Fornarino, Mireille, France, Robert B.

المساهمون: Reliable and efficient component based software engineering (TRISKELL), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Adaptive Distributed Applications and Middleware (ADAM), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Stiftelsen for INdustriell og TEknisk Forskning Digital Trondheim (SINTEF Digital), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Colorado State University Fort Collins (CSU), Whittle, John and Clark, Tony and Kühne, Thomas

المصدر: Model Driven Engineering Languages and Systems ; https://inria.hal.science/inria-00634943 ; Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.289-303, ⟨10.1007/978-3-642-24485-8_21⟩

مصطلحات موضوعية: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

جغرافية الموضوع: Wellington, New Zealand

Time: Wellington, New Zealand

Relation: inria-00634943; https://inria.hal.science/inria-00634943; https://inria.hal.science/inria-00634943/document; https://inria.hal.science/inria-00634943/file/clavreul11.pdf

الاتاحة: https://inria.hal.science/inria-00634943
https://inria.hal.science/inria-00634943/document
https://inria.hal.science/inria-00634943/file/clavreul11.pdf
https://doi.org/10.1007/978-3-642-24485-8_21

المؤلفون: Acher, Mathieu, Collet, Philippe, Lahire, Philippe, France, Robert B.

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Colorado State University Fort Collins (CSU)

المصدر: Proceedings of the International Conference on Software Composition 2010 ; International Conference on Software Composition 2010 ; https://hal.science/hal-00484152 ; International Conference on Software Composition 2010, Jul 2010, Malaga, Spain. pp.16

مصطلحات موضوعية: ACM SIGPLAN SIGSOFT, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Malaga, Spain

الاتاحة: https://hal.science/hal-00484152
https://hal.science/hal-00484152v1/document
https://hal.science/hal-00484152v1/file/CameraReady.pdf

المؤلفون: Acher, Mathieu, Collet, Philippe, Lahire, Philippe, France, Robert B.

المساهمون: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MODALIS, Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Colorado State University Fort Collins (CSU)

المصدر: proceedings of the Sixth European Conference on Modelling Foundations and Applications ; Sixth European Conference on Modelling Foundations and Applications ; https://hal.science/hal-00484232 ; Sixth European Conference on Modelling Foundations and Applications, Jun 2010, Paris, France. pp.16

مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Paris, France

الاتاحة: https://hal.science/hal-00484232
https://hal.science/hal-00484232v1/document
https://hal.science/hal-00484232v1/file/CameraReady.pdf

المؤلفون: Sun, Wuliang, Combemale, Benoit, France, Robert B., Blouin, Arnaud, Baudry, Benoit, Ray, Indrakshi

المساهمون: Department of Computer Science Colorado State University, Colorado State University Fort Collins (CSU), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), CNRS PICS MBSAR (http://gemoc.org/mbsar/), ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012)

المصدر: ISSN: 1660-1769 ; The Journal of Object Technology ; https://inria.hal.science/hal-01179369 ; The Journal of Object Technology, 2015, pp.28. ⟨10.5381/jot.2015.14.4.a1⟩.

مصطلحات موضوعية: UML, Metamodel, Model, OCL, Invariant Checking, Model Slicing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://inria.hal.science/hal-01179369
https://inria.hal.science/hal-01179369v1/document
https://inria.hal.science/hal-01179369v1/file/jot_coslicing_cameraready.pdf
https://doi.org/10.5381/jot.2015.14.4.a1

المؤلفون: Cheng, Betty H. C., Combemale, Benoit, France, Robert B., Jézéquel, Jean-Marc, Rumpe, Bernhard

المصدر: Dagstuhl Reports 4(10), 32-50 (2015). doi:10.4230/DagRep.4.10.32

مصطلحات موضوعية: info:eu-repo/classification/ddc/004

جغرافية الموضوع: DE

Relation: info:eu-repo/semantics/altIdentifier/issn/2192-5283; https://publications.rwth-aachen.de/record/685857; https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-02568%22

الاتاحة: https://publications.rwth-aachen.de/record/685857
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-02568%22

المؤلفون: Assiri, Fatmah Yousef, author, Bieman, James M., advisor, Ghosh, Sudipto, committee member, France, Robert B., committee member, Callahan, Gerald, committee member

مصطلحات موضوعية: repair quality, automated program repair, repair tests properties, software engineering, and performance, search algorithms, fault localization techniques, APR effectiveness

وصف الملف: born digital; doctoral dissertations; application/pdf

Relation: Assiri_colostate_0053A_12843.pdf; http://hdl.handle.net/10217/166889

الاتاحة: http://hdl.handle.net/10217/166889

المؤلفون: Combemale, Benoit, Deantoni, Julien, Baudry, Benoit, France, Robert B., Jézéquel, Jean-Marc, Gray, Jeff

المساهمون: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Colorado State University Fort Collins (CSU), Department of Computer Science Alabama, University of Alabama Tuscaloosa (UA), Projet CNRS PICS MBSAR, This work is supported by the GEMOC initiative, ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012)

المصدر: ISSN: 0018-9162 ; Computer ; https://inria.hal.science/hal-00994551 ; Computer, 2014, pp.10-13.

مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

الاتاحة: https://inria.hal.science/hal-00994551
https://inria.hal.science/hal-00994551v1/document
https://inria.hal.science/hal-00994551v1/file/ieee-computer-column-gemoc-v8.pdf

المؤلفون: Clark, Tony, France, Robert B, Gogolla, Martin, Selic, Bran V

وصف الملف: application/pdf

Relation: https://shura.shu.ac.uk/12044/; http://drops.dagstuhl.de/opus/volltexte/2013/4175/

الاتاحة: https://shura.shu.ac.uk/12044/1/Clark%20Meta-Modeling%20Model-Based%20Engineering%20Tools.pdf
https://doi.org/10.4230/DagRep.3.4.188

المؤلفون: Acher, Mathieu, Collet, Philippe, Lahire, Philippe, France, Robert B.

المصدر: Science of Computer Programming ; volume 78, issue 6, page 657-681 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2012.12.004
https://api.elsevier.com/content/article/PII:S0167642312002158?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0167642312002158?httpAccept=text/plain