Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01472914v1  Communication dans un congrès
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
hal-00773497v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-00744434v1  Article dans une revue
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
...
hal-00729682v1  Communication dans un congrès
Anthony Fiche, Jean-Christophe Cexus, Ali Khenchaf, Majid Rochdi, Arnaud Martin. CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION
IGARSS 2012, Jul 2012, Munich, Germany
...
hal-00646876v1  Article dans une revue
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel. Automated Measurement of Models of Requirements
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
hal-00819668v1  Direction d'ouvrage, Proceedings, Dossier
Loïc Lagadec, Sébastien Pillement, Arnaud Tisserand. Architecture des ordinateurs
Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. 32, Hermes, pp.150, 2013, Technique et science informatique, 9782746245679
...
hal-00749175v1  Communication dans un congrès
Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al.  AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC
DASIP, Oct 2012, Karlsruhe, Germany