A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet, A type-based analysis of causality loops in hybrid systems modelers, Proceedings of the 17th international conference on Hybrid systems: computation and control, HSCC '14, 2014.
DOI : 10.1145/2562059.2562125
URL : https://hal.archives-ouvertes.fr/hal-00938866

A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet, Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012.
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726

T. Bourke and M. Pouzet, Zélus, a Synchronous Language with ODEs, International Conference on Hybrid Systems: Computation and Control, 2013.

G. Dahlquist and . Björck, Numerical Methods in Scientific Computing, 2008.

A. Edward, H. Lee, and . Zheng, Operational semantics of hybrid systems, Hybrid Systems: Computation and Control (HSCC), 2005.

T. Lindstrom, An invitation to non standard analysis Nonstandard analysis and its applications, 1988.

F. Kirschke-biller, Autosar ? A worldwide standard current developments, rollout and outlook, 2011.

A. Pnueli, . Asarin, J. Maler, and . Sifakis, Controller synthesis for timed automata, Proc. System Structure and Control, 1998.

H. Post and W. Küchlin, Integrated Static Analysis for Linux Device Driver Verification, Integrated Formal Methods, pp.518-537, 2007.
DOI : 10.1007/978-3-540-73210-5_27

J. Peter, W. Ramadge, and . Murray-wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.

L. Ryzhyk, On the Construction of Reliable Device Drivers, 2009.

S. Wang, S. Malik, and R. A. Bergamaschi, Modeling and Integration of Peripheral Devices in Embedded Systems, Proceedings of the conference on Design, Automation and Test in Europe, pp.136-141, 2003.
DOI : 10.1007/0-306-48709-8_6

J. L. Armstrong, B. O. Dacker, S. R. Virding, and M. C. Williams, Implementing a functional language for highly parallel real time applications, Software Engineering for Telecommunication Systems and Services, 1992.

R. Asadollahi, M. Salehie, and L. Tahvildari, StarMX: A framework for developing self-managing Java-based systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009.
DOI : 10.1109/SEAMS.2009.5069074

O. Babaoglu, M. Jelasity, A. Montresor, C. Fetzer, S. Leonardi et al., The Self-Star Vision, LNCS, vol.3460, 2005.
DOI : 10.1007/11428589_1

N. Bencomo, P. Grace, C. Flores, D. Hughes, and G. Blair, Genie, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368207

B. Bertran, J. Bruneau, D. Cassou, N. Loriant, E. Balland et al., DiaSuite: A tool suite to develop Sense/Compute/Control applications, Science of Computer Programming, vol.79, pp.1-28, 2012.
DOI : 10.1016/j.scico.2012.04.001
URL : https://hal.archives-ouvertes.fr/hal-00702909

Y. Brun, G. Di-marzo-serugendo, C. Gacek, H. Giese, H. Kienle et al., Engineering Self-Adaptive Systems Through Feedback Loops. Software Engineering for Self-Adaptive Systems, pp.48-70, 2009.

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of sense, Proceeding of the 33rd international conference on Software engineering, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00537789

J. Dowling and V. Cahill, Self-managed decentralised systems using K-components and collaborative reinforcement learning, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, 2004.
DOI : 10.1145/1075405.1075413

J. Eker, J. Janneck, E. Lee, J. Ludvig, S. Neuendorffer et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais et al., An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements, MoDELS, 2012.
DOI : 10.1007/978-3-642-33666-9_7
URL : https://hal.archives-ouvertes.fr/hal-00714558

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software. Pearson Education, 1994.

D. Garlan, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, International Conference on Autonomic Computing, 2004.
DOI : 10.1109/MC.2004.175

I. Gorton, Y. Liu, and N. Trivedi, An extensible, lightweight architecture for adaptive J2EE applications, Proceedings of the 6th international workshop on Software engineering and middleware , SEM '06, 2006.
DOI : 10.1145/1210525.1210537

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

J. Hellerstein, Y. Diao, S. Parekh, and D. Tilbury, Feedback control of computing systems, 2004.
DOI : 10.1002/047166880X

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, pp.323-364, 1977.
DOI : 10.1016/0004-3702(77)90033-9

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

J. Kephart and D. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

F. K?ikava and P. Collet, Feedback Control Definition Language, 2013.

E. A. Lee, The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006.
DOI : 10.1109/MC.2006.180

A. Mukhija and M. Glinz, Runtime Adaptation of Applications Through Dynamic Recomposition of Components, Int. Conf. on Architecture of Computing Systems, 2005.
DOI : 10.1007/978-3-540-31967-2_9

R. Nzekwa, Building Manageable Autonomic Control Loops for Large Scale Systems, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00843874

T. Patikirikorala, A. Colman, J. Han, and L. Wang, A systematic survey on the design of self-adaptive software systems using control engineering approaches, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012.
DOI : 10.1109/SEAMS.2012.6224389

A. J. Ramirez and B. H. Cheng, Design patterns for developing dynamically adaptive systems, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, 2010.
DOI : 10.1145/1808984.1808990
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.9119

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, 1st workshop on Mobile middleware, 2008.
DOI : 10.1007/978-3-540-76778-7_1

S. Sadjadi and P. Mckinley, ACT: an adaptive CORBA template to support unanticipated adaptation, 24th International Conference on Distributed Computing Systems, 2004. Proceedings., 2004.
DOI : 10.1109/ICDCS.2004.1281570
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.1460

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.1-42, 2009.
DOI : 10.1145/1516533.1516538

N. Villegas, G. Tamura, H. Müller, L. Duchien, and R. Casallas, DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems, Software Engineering for Self-adaptive Systems 2, pp.265-293, 2013.
DOI : 10.1145/1808984.1808994
URL : https://hal.archives-ouvertes.fr/hal-00713315

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2011.
DOI : 10.1145/1988008.1988020
URL : https://hal.archives-ouvertes.fr/inria-00578337

T. Vogel and H. Giese, A language for feedback loops in self-adaptive systems: Executable runtime megamodels, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012.
DOI : 10.1109/SEAMS.2012.6224399

D. Weyns and S. Malek, FORMS, Proceeding of the 7th international conference on Autonomic computing, ICAC '10, 2010.
DOI : 10.1145/1809049.1809078

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134337

Y. Zhao, A Model of Computation with Push and Pull Processing, 2003.

O. Bernardi and O. Giménez, A Linear Algorithm for the Random Sampling from??Regular Languages, Algorithmica, vol.8, issue.1, pp.130-145, 2012.
DOI : 10.1007/s00453-010-9446-5

A. Denise, M. Gaudel, S. Gouraud, R. Lassaigne, J. Oudinet et al., Coverage-biased random exploration of large models and application to testing, International Journal on Software Tools for Technology Transfer, vol.24, issue.7, pp.73-93, 2012.
DOI : 10.1007/s10009-011-0190-1
URL : https://hal.archives-ouvertes.fr/inria-00560621

A. Dreyfus, P. Héam, O. Kouchnarenko, and C. Masson, A random testing approach using pushdown automata, Software Testing, Verification and Reliability, vol.74, issue.5-6, 2014.
DOI : 10.1002/stvr.1526
URL : https://hal.archives-ouvertes.fr/hal-01088712

P. Flajolet and R. Sedgwick, Analiytic Combinatorics, 2009.

P. Héam and C. Masson, A Random Testing Approach Using Pushdown Automata, Lecture Notes in Computer Science, vol.54, pp.119-133, 2011.
DOI : 10.1016/0020-0190(95)00025-8

D. A. Levin, Y. Peres, and E. L. Wilmer, Markov Chains and Mixing Times, 2009.
DOI : 10.1090/mbk/058

J. Oudinet, A. Denise, and M. Gaudel, A new dichotomic algorithm for the uniform random generation of words in regular languages, Theoretical Computer Science, vol.502, pp.165-176, 2013.
DOI : 10.1016/j.tcs.2012.07.025
URL : https://hal.archives-ouvertes.fr/inria-00542683

S. Blazy, V. Laporte, A. Maroneze, and D. Pichardie, Formal Verification of a C Value Analysis Based on Abstract Interpretation, Proc. of SAS 2013, pp.324-344, 2013.
DOI : 10.1007/978-3-642-38856-9_18
URL : https://hal.archives-ouvertes.fr/hal-00812515

F. Bourdoncle, Efficient chaotic iteration strategies with widenings, Proc. of FMPA, pp.128-141, 1993.
DOI : 10.1007/BFb0039704

P. Cousot and R. Cousot, Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992.
DOI : 10.1093/logcom/2.4.511

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C -a software analysis perspective, Proc. of SEFM 2012, pp.233-247, 2012.

X. Leroy, A. W. Appel, S. Blazy, and G. Stewart, The CompCert Memory Model, Program Logics for Certified Compilers, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00905435

A. Miné, Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, Proc. of LCTES'06, pp.54-63, 2006.

J. Navas, P. Schachte, H. Søndergaard, and P. Stuckey, Signedness-agnostic program analysis: Precise integer bounds for low-level code: A historical perspective on runtime assertion checking in software development, Proc. of APLAS 2012, pp.25-37, 2006.

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

N. Kosmatov, G. Petiot, and J. Signoles, An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs, the 4th International Conference on Runtime Verification, pp.167-182, 2013.
DOI : 10.1007/978-3-642-40787-1_10

M. Delahaye, N. Kosmatov, and J. Signoles, Common specification language for static and dynamic analysis of C programs, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1230-1235, 2013.
DOI : 10.1145/2480362.2480593
URL : https://hal.archives-ouvertes.fr/hal-00853721

J. Signoles, E-ACSL: Executable ANSI/ISO C Specification Language

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C, a program analysis perspective, the 10th International Conference on Software Engineering and Formal Methods, pp.233-247, 2012.

P. Baudin, J. C. Filliâtre, T. Hubert, C. Marché, B. Monate et al., ACSL: ANSI/ISO C Specification Language

N. Kosmatov and J. Signoles, A Lesson on Runtime Assertion Checking with Frama-C, the 4th International Conference on Runtime Verification, pp.386-399, 2013.
DOI : 10.1007/978-3-642-40787-1_29

R. 1. Ulrich, A. König, and H. , Specification-based testing of concurrent systems, IFIP Conference Proceedings, vol.107, pp.7-22, 1998.
DOI : 10.1007/978-0-387-35271-8_1

G. Von-bochmann, S. Haar, C. Jard, and G. V. Jourdan, Testing Systems Specified as Partial Order Input/Output Automata, Testing of Software and Communicating Systems, pp.169-183, 2008.
DOI : 10.1109/TCOM.1984.1096134

H. Ponce-de-león, S. Haar, and D. Longuet, Conformance Relations for Labeled Event Structures, LNCS, vol.7305, pp.83-98, 2012.
DOI : 10.1007/978-3-642-30473-6_8

H. Ponce-de-león, S. Haar, and D. Longuet, Model-based testing for concurrent systems with labeled event structures, 2012.

H. Ponce-de-león, S. Haar, and D. Longuet, Unfolding-Based Test Selection for Concurrent Conformance, International Conference on Testing Software and Systems, pp.98-113, 2013.
DOI : 10.1007/978-3-642-41707-8_7

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm, LNCS, vol.1055, pp.87-106, 1996.
DOI : 10.1007/3-540-61042-1_40

C. Gaston, L. Gall, P. Rapin, N. Touil, and A. , Symbolic Execution Techniques for Test Purpose Definition, Testing of Software and Communicating Systems, pp.1-18, 2006.
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation Relations for the Distributed Test Architecture, Testing of Software and Communicating Systems, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. 1. Duala-ekoko, E. Robillard, and M. P. , Asking and answering questions about unfamiliar APIs: An exploratory study, 2012 34th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2012.6227187

T. Schäfer, J. Jonas, and M. Mezini, Mining framework usage changes from instantiation code, Proceedings of the 13th international conference on Software engineering , ICSE '08, p.471, 2008.
DOI : 10.1145/1368088.1368153

C. Teyton, J. R. Falleri, and X. Blanc, Mining Library Migration Graphs, 2012 19th Working Conference on Reverse Engineering, pp.289-298, 2012.
DOI : 10.1109/WCRE.2012.38
URL : https://hal.archives-ouvertes.fr/hal-00761204

C. Teyton, J. R. Falleri, M. Palyart, and X. Blanc, A study of library migration in java software, p.6262, 1306.
URL : https://hal.archives-ouvertes.fr/hal-00838713

A. Orso, M. J. Harrold, D. Rosenblum, G. Rothermel, H. Do et al., Using component metacontent to support the regression testing of component-based software, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001, p.972790, 2001.
DOI : 10.1109/ICSM.2001.972790

J. Vouillon, D. Cosmo, and R. , On software component co-installability, SIGSOFT FSE, pp.256-266, 2011.
DOI : 10.1145/2522920.2522927
URL : https://hal.archives-ouvertes.fr/hal-00910926

J. Vouillon, D. Cosmo, and R. , Broken sets in software repository evolution http://www.pps.univ-paris-diderot.fr/ vouillon/publi/upgrades .pdf Sixièmes journées nationales du GDR GPL ? 11 au 13 juin 2014 REFERENCES [AST11] Architecture-driven Modernization: Abstract Syntax Tree Metamodel (ASTM)-Version 1.0. Object Management Group, International Conference on Software Engineering (ICSE) (2013)BCDL13] Alexandre Bergel Stéphane Ducasse, and Jannik Laval. Deep Into Pharo. Square Bracket Associates, 2011.

I. D. Baxter, C. Pidgeon, and M. Mehlich, DMS, Proceedings of the international workshop on Principles of software evolution , IWPSE '02
DOI : 10.1145/512035.512047

J. Dolby, Using static analysis for ide's for dynamic languages, The Eclipse Languages Symposium, 2005.

S. Demeyer, S. Tichelaar, S. Ducasse, F. Jouault, J. Bézivin et al., Tcs:a dsl for the specification of textual concrete syntaxes in model engineering Declarative name binding and scope rules Monticore: a framework for compositional development of domain specific languages The dagstuhl middle metamodel: A schema for reverse engineering, Proceedings of the 5th international conference on Generative programming and component engineering Software Language Engineering Electronic Notes in Theoretical Computer SciencePCdGP11] Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, and Mario Piattini. Knowledge discovery metamodel-iso/iec 19506: A standard to modernize legacy systems. Comput. Stand. Interfaces, pp.249-254, 2001.

. Groupe-de-travail-rimel-references-clément-démoulins, F. Lom-messan-hillah, F. Hulin-hubard, A. Kordon, L. Linard et al., A modular approach for reusing formalisms in verification tools of concurrent systems, 15th International Conference on Formal Engineering Methods (ICFEM'13), pp.199-214, 2013.

É. André, L. Fribourg, U. Kühne, and R. Soulat, IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems, Formal Methods, pp.33-36, 2012.
DOI : 10.1007/978-3-642-32759-9_6

. André, F. Lom-messan-hillah, F. Hulin-hubard, Y. Kordon, A. Lembachar et al., CosyVerif: An Open Source Extensible Verification Environment, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.33-36, 2013.
DOI : 10.1109/ICECCS.2013.15

. Bbc-+-12-]-p, A. Baldan, A. Bruni, B. Corradini, C. König et al., Efficient unfolding of contextual Petri nets, Theoretical Computer Science, vol.449, pp.2-22, 2012.

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, HASL: an Expressive Language for Statistical Verification of Stochastic Models, Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, pp.306-315, 2011.
DOI : 10.4108/icst.valuetools.2011.245710
URL : https://hal.archives-ouvertes.fr/hal-01113442

M. Colange, S. Baarir, F. Kordon, and Y. Thierry-mieg, Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag, ICATPN, pp.338-347, 2011.
DOI : 10.1007/978-3-540-30232-2_18
URL : https://hal.archives-ouvertes.fr/hal-01282493

S. Haddad, J. Ilié, and K. Klai, Design and Evaluation of a Symbolic and Abstraction-Based Model Checker, ATVA, pp.196-210, 2004.
DOI : 10.1007/978-3-540-30476-0_19

]. S. Hkp-+-09, F. Haddad, L. Kordon, and J. Petrucci, Pradat-Peyre, and N. Trèves. Efficient state-based analysis by introducing bags in Petri net color domains, ACC, pp.5018-5025, 2009.

F. [. Hong, E. Kordon, S. Paviot-adet, and . Evangelista, Computing a hierarchical static order for decision diagram-based representation from P/T nets. Transactions on Petri Nets and Other Models of Concurrency, pp.121-140, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01270052

[. Klai and H. Ochi, Modular verification of inter-enterprise business processes, eKNOW, pp.155-161, 2012.

C. Lakos and L. Petrucci, Modular analysis of systems composed of semiautonomous subsystems, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004., pp.185-196, 2004.
DOI : 10.1109/CSD.2004.1309131
URL : https://hal.archives-ouvertes.fr/hal-00003393

. Lisong and G. , 30 12:30 What is empirical software engineering? Open brainstorm, constitution des groupes d'intérêt pour l'aprèsmidi 12:30 14:30 Déjeuner au restaurant Le Buisson Ardent 14:30 15:00 Session Data et Metadata Talk: Olivier Berger (Package metadata traceability in FLOSS development platforms) http://wwwpublic.telecomsudparis.eu/~berger_o/presentationESE2013.pdf Talk: Xavier Blanc, LABRI (Making Survey thanks to repository mining) Harmony : https://se.labri.fr, pp.645-1645

C. Barrett, R. Beckman, K. Channakeshava, F. Huang, V. S. Kumar et al., Cascading failures in multiple infrastructures: From transportation to communication network, 2010 5th International Conference on Critical Infrastructure (CRIS), pp.1-8, 2010.
DOI : 10.1109/CRIS.2010.5617569

W. Beyeler, R. Glass, and G. Lodi, Modeling and Risk Analysis of Information Sharing in the Financial Infrastructure, Collaborative Financial Infrastructure Protection, pp.41-52, 2012.
DOI : 10.1007/978-3-642-20420-3_2

J. Boardman, B. Sauser, and I. Conf, System of systems -the meaning of OF System of systems integration and test, System of Systems Eng, pp.261-280, 2006.

M. Ciampi, G. Pietro, C. Esposito, M. Sicuranza, P. Mori et al., On Securing Communications among Federated Health Information Systems, Computer Safety, Reliability, and Security, pp.235-246, 2012.
DOI : 10.1007/978-3-642-33675-1_21

H. Cihan, N. Dagli, and . Kilicay-ergin, System of Systems Architecting, pp.77-100, 2008.

J. Dahmann, G. Rebovich, M. Mcevilley, and G. Turner, Security engineering in a system of systems environment, 2013 IEEE International Systems Conference (SysCon), pp.364-369, 2013.
DOI : 10.1109/SysCon.2013.6549907

M. Duren, H. Aldridge, R. K. Abercrombie, and F. T. Sheldon, Designing and operating through compromise, Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop on, CSIIRW '13, pp.1-3, 2013.
DOI : 10.1145/2459976.2460031

D. L. Farroha and B. S. Farroha, Agile development for system of systems: Cyber security integration into information repositories architecture, 2011 IEEE International Systems Conference, pp.182-188, 2011.
DOI : 10.1109/SYSCON.2011.5929083

A. Gorod, R. Gove, B. Sauser, and J. Boardman, System of Systems Management: A Network Management Approach, 2007 IEEE International Conference on System of Systems Engineering, pp.1-5, 2007.
DOI : 10.1109/SYSOSE.2007.4304218

J. Hosey and R. Gamble, Extracting security control requirements, Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research, CSIIRW '10, 2010.
DOI : 10.1145/1852666.1852715

M. Jamshidi, System of Systems - Innovations for 21st Century, 2008 IEEE Region 10 and the Third international Conference on Industrial and Information Systems, pp.6-7, 2008.
DOI : 10.1109/ICIINFS.2008.4798321

R. S. Kalawsky, The Next Generation of Grand Challenges for Systems Engineering Research, Procedia Computer Science, vol.16, pp.834-843, 2013.
DOI : 10.1016/j.procs.2013.01.087

J. Klein, H. Van, and . Vliet, A systematic review of system-of-systems architecture research, Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, QoSA '13, pp.13-22, 2013.
DOI : 10.1145/2465478.2465490

S. J. Lukasik, Vulnerabilities and failures of complex systems, Int. J. Eng. Educ, vol.19, issue.1, pp.206-212, 2003.

M. W. Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998.
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D

M. W. Maier, Research Challenges for Systems-of-Systems, 2005 IEEE International Conference on Systems, Man and Cybernetics, pp.3149-3154, 2005.
DOI : 10.1109/ICSMC.2005.1571630

E. I. Neaga, M. J. De, and C. Henshaw, Modeling the linkage between systems interoperability and security engineering, 2010 5th International Conference on System of Systems Engineering, 2010.
DOI : 10.1109/SYSOSE.2010.5544056

C. Nichols and R. Dove, Architectural Patterns for Self-Organizing Systems-of-Systems, Insight, vol.4, pp.42-45, 2011.

C. E. Phillips, J. , T. C. Ting, and S. A. Demurjian, Information sharing and security in dynamic coalitions, Proceedings of the seventh ACM symposium on Access control models and technologies , SACMAT '02, pp.87-96, 2002.
DOI : 10.1145/507711.507726

N. Ricci, A. M. Ross, and D. H. Rhodes, A Generalized Options-based Approach to Mitigate Perturbations in a Maritime Security System-of-Systems, Procedia Computer Science, vol.16, pp.718-727, 2013.
DOI : 10.1016/j.procs.2013.01.075

S. M. Rinaldi, J. P. Peerenboom, and T. K. Kelly, Identifying, understanding, and analyzing critical infrastructure interdependencies, IEEE Control Systems Magazine, vol.21, issue.6, pp.11-25, 2001.
DOI : 10.1109/37.969131

F. Skopik, A. Treytl, A. Geven, B. Hirschler, T. Bleier et al., Towards Secure Time-Triggered Systems, Int Cf on Comp Safety, Reliability, and Security, pp.365-372, 2012.
DOI : 10.1007/978-3-642-33675-1_33

A. Waller and R. Craddock, Managing runtime re-engineering of a System-of-Systems for cyber security, 2011 6th International Conference on System of Systems Engineering, pp.13-18, 2011.
DOI : 10.1109/SYSOSE.2011.5966566

W. A. Wulf, Great achievements and grand challenges, National Academy of Engineering, 2000.

Z. Zhang, C. Wu, and D. W. Cheung, A survey on cloud interoperability, ACM SIGMETRICS Performance Evaluation Review, vol.40, issue.4, pp.13-22, 2013.
DOI : 10.1145/2479942.2479945

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-oriented domain analysis (foda) feasibility study, tech. rep, 1990.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858

Z. A. Zhu, S. Misailovic, J. A. Kelner, and M. C. Rinard, Randomized accuracy-aware program transformations for efficient approximate computations, Proc. of the Symp. on Principles of Programming Languages (POPL), pp.441-454, 2012.
DOI : 10.1145/2103656.2103710
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.6947

B. H. Cheng, R. De-lemos, H. Giese, P. Inverardi, J. Magee et al., Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software engineering for self-adaptive systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

B. Randell, System structure for software fault tolerance, IEEE Trans. on Software Engineering, vol.1, issue.2, 1975.

S. Forrest, S. A. Hofmeyr, A. Somayaji, and T. A. Longstaff, A sense of self for Unix processes, Proceedings 1996 IEEE Symposium on Security and Privacy, pp.120-128, 1996.
DOI : 10.1109/SECPRI.1996.502675

A. É. References, T. André, E. Chatain, L. Encrenaz, and . Fribourg, An inverse method for parametric timed automata, IJFCS, vol.20, issue.5, pp.819-836, 2009.

A. R. Alur, T. A. Henzinger, M. Y. Vardi, A. R. Alur, S. L. Torre et al., Parametric real-time reasoning Optimal paths in weighted timed automata, STOC, pp.318297-322, 1993.

. G. Bfh-+-01, A. Behrmann, T. Fehnker, K. Hune, P. Larsen et al., Minimum-cost reachability for priced timed automata, HSCC, 2001.

. A. Bhh-+-08, P. Bouajjani, L. Habermehl, T. Holík, T. Touili et al., Antichain-based universality and inclusion testing over nondeterministic finite tree automata, CIAA, 2008.

B. A. Bouajjani, P. Habermehl, A. Rogalewicz, and T. Vojnar, Abstract regular (tree) model checking, International Journal on Software Tools for Technology Transfer, vol.24, issue.3, pp.167-191, 2012.
DOI : 10.1007/s10009-011-0205-y
URL : https://hal.archives-ouvertes.fr/hal-00156828

B. B. Bérard, S. Haddad, and M. Sassolas, Interrupt Timed Automata, pp.41-87, 2012.
DOI : 10.1007/BFb0032003

B. A. Bouajjani, P. Habermehl, and T. Vojnar, Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management, FMSD, vol.32, issue.2, pp.129-172, 2008.
DOI : 10.1007/978-3-540-45187-7_11
URL : https://hal.archives-ouvertes.fr/hal-00159537

B. A. Bouajjani, B. Jonsson, M. Nilsson, T. Touili, . L. Blt09 et al., Regular model checking Decision problems for lower/upper bound parametric timed automata, CAV, pp.121-151, 2000.

B. T. Brihaye, C. Michaux, C. Rivière, and C. Troestler, On O-Minimal Hybrid Systems, HSCC, 2004.
DOI : 10.1007/978-3-540-24743-2_15

C. E. Clarke, M. Talupur, T. Touili, and H. Veith, Verification by Network Decomposition, CONCUR, 2004.
DOI : 10.1016/0020-0190(88)90211-6
URL : https://hal.archives-ouvertes.fr/hal-00161110

H. T. Hune, J. Romijn, M. Stoelinga, and F. W. Vaandrager, Linear parametric model checking of timed automata, pp.52-53, 2002.

J. A. Jovanovi´cjovanovi´c, D. Lime, and O. H. Roux, Integer parameter synthesis for timed automata, TACAS, 2013.

J. A. Jovanovi´cjovanovi´c, D. Lime, and O. H. Roux, Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games, ATVA, pp.87-101, 2013.
DOI : 10.1007/978-3-319-02444-8_8

L. A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, RV, 2010. LPS00. G. Lafferriere, G. Pappas, and S. Sastry. O-minimal hybrid systems. MCSS, pp.1-21, 2000.
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593

M. N. Markey, Robustness in real-time systems Parametric model-checking of stopwatch Petri nets, SIES, pp.28-34, 2009.

. Références, Contract-based testing, Formal Methods at the Crossroads. From Panacea to Foundational Support, pp.34-48, 2003.

P. André, H. Waeselynck, and N. Rivière, A UML-based environment for test scenarios in mobile settings, 2013 International Conference on Computer, Information and Telecommunication Systems (CITS), pp.1-5, 2013.
DOI : 10.1109/CITS.2013.6705716

P. André, N. Rivière, and H. Waeselynck, GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces, Dependable Computing, pp.88-95
DOI : 10.1007/978-3-642-38789-0_8

J. Arnold and R. Alexander, Testing Autonomous Robot Control Software Using Procedural Content Generation, Computer Safety, Reliability, and Security, pp.33-44, 2013.
DOI : 10.1007/978-3-642-40793-2_4

. Suriyapriyar, S. Asaithambi, and . Jarzabek, Towards test case reuse : A study of redundancies in android platform test libraries, Safe and Secure Software Reuse, pp.49-64

J. Botella, F. Bouquet, J. Capuron, F. Lebeau, B. Legeard et al., Model-Based Testing of Cryptographic Components -- Lessons Learned from Experience, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp.192-201, 2013.
DOI : 10.1109/ICST.2013.42

M. Büchler, K. Hossen, M. Petru-florin-mihancea, R. Minea, C. Groz et al., Model inference and security testing in the spacios project, 2014 Software Evolution Week, IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), pp.411-414, 2014.
DOI : 10.1109/CSMR-WCRE.2014.6747207

C. Cadar and K. Sen, Symbolic execution for software testing, Communications of the ACM, vol.56, issue.2, pp.82-90, 2013.
DOI : 10.1145/2408776.2408795

O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Combining Static Analysis and Test Generation for C Program Debugging, TAP'10, 4th Int. Conf. on Tests and Proofs, pp.94-100, 2010.
DOI : 10.1007/978-3-642-13977-2_9
URL : https://hal.archives-ouvertes.fr/hal-00563308

F. Dadeau, K. Cabrera-castillos, Y. Ledru, T. Triki, G. Vega et al., Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, pp.431-438, 2013.
DOI : 10.1109/ICST.2013.60
URL : https://hal.archives-ouvertes.fr/hal-00912639

Q. Enard, M. Stoicescu, E. Balland, C. Consel, L. Duchien et al., Design-driven development methodology for resilient computing, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, 2013.
DOI : 10.1145/2465449.2465458
URL : https://hal.archives-ouvertes.fr/hal-00814298

C. Ghezzi, A. Mocci, and M. Sangiorgio, Runtime monitoring of component changes with Spy@Runtime, 2012 34th International Conference on Software Engineering (ICSE), pp.1403-1406, 2012.
DOI : 10.1109/ICSE.2012.6227237

H. Hemmati, A. Arcuri, and L. C. Briand, Achieving scalable model-based testing through test case diversity, ACM Transactions on Software Engineering and Methodology, vol.22, issue.1, p.6, 2013.
DOI : 10.1145/2430536.2430540

M. Thierry-jéron, B. Veanes, and . Wolff, Symbolic Methods in Testing (Dagstuhl Seminar 13021) Dagstuhl Reports, pp.1-29, 2013.

R. Labarge and T. Mcguire, Cloud penetration testing. CoRR, abs/1301, 1912.

B. Pérez-lamancha, M. Polo, and M. Piattini, Systematic Review on Software Product Line Testing, Software and Data Technologies, pp.58-71, 2013.
DOI : 10.1007/978-3-642-29578-2_4

J. Lauret, J. Fabre, and H. Waeselynck, Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?, Lecture Notes in Computer Science, vol.8153, pp.45-56, 2013.
DOI : 10.1007/978-3-642-40793-2_5

C. Lee, F. Chen, and G. Ro?u, Mining parametric specifications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.591-600, 2011.
DOI : 10.1145/1985793.1985874

J. Lee, S. Kang, and D. Lee, A survey on software product line testing, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.31-40
DOI : 10.1145/2362536.2362545

D. Lo, L. Mariani, and M. Santoro, Learning extended FSA from software: An empirical assessment, Selected papers from the 2011 Joint Working IEEE/IFIP Conference on Software Architecture, pp.2063-2076, 2011.
DOI : 10.1016/j.jss.2012.04.001

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib: a framework for extrapolating behavioral models, International Journal on Software Tools for Technology Transfer, vol.15, issue.4, pp.393-407, 2009.
DOI : 10.1007/s10009-009-0111-8
URL : https://hal.archives-ouvertes.fr/inria-00459959

G. Reger, H. Barringer, and D. Rydeheard, A pattern-based approach to parametric specification mining, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.658-663, 2013.
DOI : 10.1109/ASE.2013.6693129

M. I. Salas and E. Martins, Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security, Electronic Notes in Theoretical Computer Science, vol.302, pp.133-154, 2014.
DOI : 10.1016/j.entcs.2014.01.024

M. Shahbaz and R. Groz, Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00974760

J. Bertin, Semiology of Graphics. Diagrams, Networks and Maps, 1983.

D. Bihanic and T. Polacsek, Models for Visualisation of Complex Information Systems, 2012 16th International Conference on Information Visualisation, pp.130-135, 2012.
DOI : 10.1109/IV.2012.32
URL : https://hal.archives-ouvertes.fr/hal-00843748

D. Bihanic, M. Chevalier, S. Dupuy-chessa, T. Morineau, T. Polacsek et al., Modélisation graphique des SI : Du traitement visuel de modèles complexes, Inforsid 2013, 2013.

A. Blackwell and Y. Engelhardt, A Meta-Taxonomy for Diagram Research, Diagrammatic Representation and Reasoning, pp.47-64, 2002.
DOI : 10.1007/978-1-4471-0109-3_3

P. Caire, N. Genon, P. Heymans, and D. L. Moody, Visual notation design 2.0: Towards user comprehensible requirements engineering notations, 2013 21st IEEE International Requirements Engineering Conference (RE), pp.115-124, 2013.
DOI : 10.1109/RE.2013.6636711

. V. Michelr, W. Chaudron, A. Heijstek, and . Nugroho, How effective is uml modeling ? Software & Systems Modeling, pp.571-580, 2012.

S. Conversy, S. Chatty, and C. Hurter, Visual scanning as a reference framework for interactive representation design, Information Visualization, vol.57, issue.3, pp.196-211, 2011.
DOI : 10.1177/1473871611415988
URL : https://hal.archives-ouvertes.fr/hal-01021602

R. Davis, Magic Paper: Sketch-Understanding Research, Computer, vol.40, issue.9, pp.34-41, 2007.
DOI : 10.1109/MC.2007.324

T. R. Green and M. Petre, Usability Analysis of Visual Programming Environments: A ???Cognitive Dimensions??? Framework, Journal of Visual Languages & Computing, vol.7, issue.2, pp.131-174, 1996.
DOI : 10.1006/jvlc.1996.0009

J. Hutchinson, M. Rouncefield, and J. Whittle, Model-driven engineering practices in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.633-642, 2011.
DOI : 10.1145/1985793.1985882

H. Ishii and B. Ullmer, Tangible bits, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '97, pp.234-241, 1997.
DOI : 10.1145/258549.258715

J. Jezequel, Model driven design and aspect weaving. Software & Systems Modeling, pp.209-218, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00468233

S. Kent, Model Driven Engineering, Proceedings of the Third International Conference on Integrated Formal Methods, IFM '02, pp.286-298, 2002.
DOI : 10.1007/3-540-47884-1_16

G. Anneke, J. Kleppe, W. Warmer, and . Bast, MDA Explained : The Model Driven Architecture : Practice and Promise, 2003.

I. Odd, G. Lindland, A. Sindre, and . Solvberg, Understanding Quality in Conceptual Modelling, IEEE Software, vol.11, issue.2, pp.42-49, 1994.

L. Daniel and . Moody, Theoretical and practical issues in evaluating the quality of conceptual models : current state and future directions Quality in conceptual modeling Five examples of the state of art The International Workshop on Conceptual Modeling Quality, Data and Knowledge Engineering, vol.55, issue.3, pp.243-276, 2002.

L. Daniel and . Moody, The " Physics " of Notations : Towards a Scientific Basis for Constructing Visual Notations in Software Engineering, IEEE Transactions on Software Engineering, vol.35, pp.756-779, 2009.

M. Petre, UML in practice, 2013 35th International Conference on Software Engineering (ICSE), pp.722-731, 2013.
DOI : 10.1109/ICSE.2013.6606618

C. Recanati, Characteristics of diagrammatic reasoning, Proceedings of EuroCogSci07, the european cognitive science conference, the second european cognitive science conference, pp.510-515, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00153328

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

B. Shneiderman, The eyes have it : a task by data type taxonomy for information visualizations, Visual Languages Proceedings., IEEE Symposium on, pp.336-343, 1996.

H. Störrle and A. Fish, Towards an Operationalization of the ???Physics of Notations??? for the Analysis of Visual Languages, MoDELS, pp.104-120, 2013.
DOI : 10.1007/978-3-642-41533-3_7

R. Wettel and M. Lanza, Visual Exploration of Large-Scale System Evolution, 2008 15th Working Conference on Reverse Engineering, pp.219-228, 2008.
DOI : 10.1109/WCRE.2008.55

T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg et al., Thorough static analysis of device drivers, EuroSys, 2006.

D. Batory and S. Omalley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology, vol.1, issue.4, 1992.
DOI : 10.1145/136586.136587

V. Chipounov, C. , and G. , Reverse engineering of binary device drivers with RevNIC, Proceedings of the 5th European conference on Computer systems, EuroSys '10, 2010.
DOI : 10.1145/1755913.1755932

D. R. Engler, B. Chelf, A. Chou, and S. Hallem, Checking system rules using system-specific, programmer-written compiler extensions, OSDI, 2000.

A. Kadav and M. M. Swift, Understanding modern device drivers, ASPLOS, 2012.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock et al., seL4, Communications of the ACM, vol.53, issue.6, 2010.
DOI : 10.1145/1743546.1743574

Z. Li, S. Lu, S. Myagmar, and Y. Zhou, CP-Miner: A tool for finding copy-paste and related bugs in operating system code, OSDI, 2004.

Z. Li and Y. Zhou, PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, ESEC/FSE, 2005.

F. Mérillon, L. Réveilì-ere, C. Consel, R. Marlet, and G. Muller, Devil: An IDL for hardware programming, OSDI, 2000.

S. Nadi and R. Holt, The Linux kernel: a case study of build system variability, Journal of Software: Evolution and Process, vol.17, issue.8, 2012.
DOI : 10.1002/smr.1595

Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller, Documenting and automating collateral evolutions in Linux device drivers, EuroSys, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

C. Rubio-gonzález and B. Liblit, Defective error/pointer interactions in the Linux kernel, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, 2011.
DOI : 10.1145/2001420.2001434

L. Ryzhyk, P. Chubb, I. Kuz, L. Sueur, E. Heiser et al., Automatic device driver synthesis with termite, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, 2009.
DOI : 10.1145/1629575.1629583

R. Tartler, D. Lohmann, J. Sincero, and W. Schröder-preikschat, Feature consistency in compile-time-configurable system software, Proceedings of the sixth conference on Computer systems, EuroSys '11, 2011.
DOI : 10.1145/1966445.1966451

. References, O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Program slicing enhances a verification technique combining static and dynamic analysis, p.SAC, 2012.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C -a software analysis perspective, p.SEFM, 2012.

G. Petiot, N. Kosmatov, A. Giorgetti, and J. Julliand, How Test Generation Helps Software Specification and Deductive Verification in Frama-C
DOI : 10.1007/978-3-319-09099-3_16
URL : https://hal.archives-ouvertes.fr/hal-01108553

B. Tchakaloff, S. Saudrais, and J. P. Babau, ORQA, Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, QoSA '13, 2013.
DOI : 10.1145/2465478.2465488
URL : https://hal.archives-ouvertes.fr/hal-00852862

B. Tchakaloff, S. Saudrais, and J. P. Babau, Efficient Models Configuration for an Electric Vehicle Energy Management Software, 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014.
DOI : 10.1109/SEAA.2014.80
URL : https://hal.archives-ouvertes.fr/hal-01001566

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, 2009.
DOI : 10.5381/jot.2009.8.5.c5

A. Authoserre, Interopérabilité des Systèmes d'Information : approches dirigées par les modèles. 30ème congrès INFORSID(INFORSID'2012), 2012.

J. Bosch, Toward Compositional Software Product Lines, IEEE Software, vol.27, issue.3, 2010.
DOI : 10.1109/MS.2010.32

J. Bosch and P. M. Bosch-sijtsema, Introducing agile customer-centered development in a legacy software product line, Software: Practice and Experience, vol.14, issue.4, pp.871-882, 2011.
DOI : ieeecomputersociety.org/10.1109/MS.2010.32

H. Brummermann, Variability issues in the evolution of information system ecosystems, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.159-164, 2011.
DOI : 10.1145/1944892.1944912

G. Deltombe, Bridging KDM and ASTM for Model-Driven Software Modernization, SEKE. pp. KnowledgeSystems Institute GraduateSchool, pp.517-524, 2012.

G. Godet-bar, Sonata: Flexible connections between interaction and business spaces, Journal of Systems and Software, vol.85, issue.5, pp.1105-1118, 2012.
DOI : 10.1016/j.jss.2011.12.030
URL : https://hal.archives-ouvertes.fr/hal-00751780

G. Holl, A systematic review and an expert survey on capabilities supporting multi product lines, Information and Software Technology, vol.54, issue.8, pp.828-852, 2012.
DOI : 10.1016/j.infsof.2012.02.002

A. Leitner and C. Kreiner, Software Product Lines ??? An Agile Success Factor?, pp.203-214, 2011.
DOI : 10.1007/978-3-540-71437-8

M. Mannino, V: Database Design, Application Development, and Administration, 2004.

F. Navarrete, Reconciling Agility and Discipline in COTS Selection Processes. Commercial-off-the-Shelf (COTS)-Based Software Systems, ICCBSS '07. Sixth International IEEE Conference on, pp.103-113, 2007.

A. Rashid, Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00620981

J. C. Trigaux and P. Heymans, Software Product Lines: State of the art, 2003.

J. Bosch and P. Bosch-sijtsema, Introducing agile customer-centered development in a legacy software product line, Software: Practice and Experience, vol.14, issue.4, 2011.
DOI : ieeecomputersociety.org/10.1109/MS.2010.32

J. Bosch, Toward Compositional Software Product Lines, IEEE Software, vol.27, issue.3, pp.29-34, 2010.
DOI : 10.1109/MS.2010.32

N. , F. Botella, P. And-franch, and X. , Reconciling Agility and Discipline in COTS Selection Processes, Commercial-off-the-Shelf (COTS)-Based Software Systems ICCBSS '07. Sixth International IEEE Conference on, pp.103-113, 2007.

Z. Merali, Computational science: ...Error, Nature, vol.467, issue.7317, pp.775-777, 2010.
DOI : 10.1353/mcb.2006.0061

A. Morin, . Urban, . Adams, . Foster, . Sali et al., Shining Light into Black Boxes, Science, vol.336, issue.6078, pp.159-160, 2012.
DOI : 10.1126/science.1218263

K. Hinsen, Computational science : shifting the focus from tools to models [v1 ; ref status : awaiting peer review, 2014.

D. Orchard and A. Rice, A Computational Science Agenda for Programming Language Research, accepted at International Conference on Computational Science, 2014.
DOI : 10.1016/j.procs.2014.05.064

L. Hymans, Hymans and O. Levillain. Newspeak, Doubleplussimple Minilang for Goodthinkful Static Analysis of C, 2008.

. Johnson, R. Wagner, D. Johnson, and . Wagner, Finding user/kernel pointer bugs with type inference, USENIX Security Symposium, 2004.

R. Paristech and /. Ltci-), Architecture Analysis and Design Language (SAE): http://www.aadl.info 3. OSATE (SEI): https://wiki