, La partie implémentation de ces outils est entièrement le fait de Rémi Delmas et David Doose

, A ces six noms que l'on retrouve dans la littérature, vol.85

, Pendant la deuxième guerre mondiale, l'armée américaine employait de nombreux mathé-maticiens pour effectuer les calculs tels que les calculs balistiques. Du fait que les hommes étaient envoyés au combat, beaucoup de calculateurs étaient des femmes, vol.1

, TOICA pour Thermal Overall Integrated Conception of Aircrafts 3. MIMOSA pour Means of engIneering for MOdelling and analysis of modular embedded aeronautic Systems and Architectures, Projet européen FP7

C. Thèse and . La-société-axonics, plus particulièrement, dans l'ordre alphabétique, car aucun ordre n'est possible, à mes coauteurs qui ont tous participé d'une manière ou d'une autre aux travaux présentés dans ce mémoire, 2018.

, Vos années de thèse ont été un plaisir. J'ai aussi une pensée pour Virginie et Mireille qui m'ont accepté comme co-encadrant et auprès de qui j'ai beaucoup appris. Merci aussi à Stéphane Duprat qui a non seulement rendu la thèse d'Anthony possible, en trouvant un financement, mais a permis de faire une thèse dans d'excellentes conditions à ses côtés. D'ailleurs, merci à Ploc et Rémi de m'avoir couru après au Japon. Ce mémoire d'HDR n'existerait pas sans ces quelques semaines de printemps 2019 où Flo, Mireille et Régine ont su me motiver et me montrer que cela avait un sens. Merci à toutes les trois, vraiment, sans vous je ne l'aurais pas fait ! Merci aussi à l'ensemble des membres du jury qui ont pris sur leur temps pour venir m'écouter le jour de ma soutenance, Merci à Anthony et Clément qui m'ont donné l'impression de savoir encadrer une thèse, mais ne nous leurrons pas le mérite leur revient en grande partie. A nos séjours à Miami et Tallin, vous avoir vus présenter vos travaux dans des conférences internationales reste pour moi un grand moment

M. and D. , Je voudrais aussi remercier le Réseau National des Systèmes Complexes et plus particulièrement Arnaud Banos qui ont été les premiers à soutenir notre démarche à David et moi. Je me souviens de cette conférence à Paris où, dès le premier repas, Arnaud est venu me voir au moment du repas et m'a présenté à des chercheurs de disciplines très hétérogènes alors que j'étais en territoire complètement inconnu. Grâce à lui, j'ai pu voir de près l'interdisciplinarité que cela soit Rue Lhomond ou lors de cette semaine mémorable à Sète. J'espère que nous aurons de nouveau l'occasion de nous croiser. Merci à Sophie Dupuy-Chessa et Xavier Le Pallec de nous avoir suivis dans cette aventure transdisciplinaire. Et puis il y a aussi tous ces très bons souvenirs ensemble à Porquerolles, Grenoble, Toulouse, etc. Merci à Mamoun Filali de m'avoir fait revenir dans le monde de la recherche, ce jour-là, tu as eu raison d'insister et de me dire de venir travailler avec toi, Bihanic pour nos nombreuses conversations et pour tes efforts à non seulement m'expliquer ta discipline, mais en plus à comprendre la mienne. Il est loin le temps où nous étions tous les deux thésards et où, de passage à Toulouse, tu avais poussé la porte de mon bureau, vol.9844, pp.430-441, 2016.

J. Abrial, The B-book -assigning programs to meanings, 1996.

G. Selim, D. E. Aki, and . Denning, Checking classification constraints for consistency and completeness, Proceedings of the 1987 IEEE Symposium on Security and Privacy, pp.196-201, 1987.

C. Alexander, S. Ishikawa, and M. Silverstein, A Pattern Language : Towns, Buildings, Construction, 1977.

R. Alexander, R. D. Hawkins, and T. Kelly, Security assurance cases : Motivation and the state of the art, 2011.

A. Muhammad, P. Babar, and . Lago, Design decisions and design rationale in software architecture, Journal of Systems and Software, vol.82, pp.1195-1197, 2009.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy : A Challenging Model Transformation, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, vol.4735, pp.436-450, 2007.

S. Archambault-de-beaune, Aux origines de la division du travail, Pour la science, vol.445, 2014.

. Aristote and . Physique, , p.1862

. Aristote, Les Réfutations sophistiques, Traduction par Jules Tricot. Vrin, vol.6, 1995.

W. Aspray, An interview with Richard Bloch, 1984.

, Association for the Advancement of Artificial Intelligence, Proceedings of the the AAAI Spring Symposium on producing cooperative explanations, 1992.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE transactions on dependable and secure computing, vol.1, issue.1, pp.11-33, 2004.

O. Balci, Verification validation and accreditation of simulation models, Proceedings of the 29th conference on Winter simulation, pp.135-141, 1997.

I. Bate, Systematic approaches to understanding and evaluating design trade-offs, Journal of Systems and Software, vol.81, pp.1253-1271, 2008.

P. Baudin, P. Cuoq, J. C. Filliâtre, C. Marché, B. Monate et al., ACSL Version, vol.1, issue.6, 2012.

P. Besnard and A. Hunter, Elements of Argumentation, 2008.

P. Bieber, F. Boniol, Y. Bouchebaba, J. Brunel, C. Pagetti et al., A model-based certification approach for multi/many-core embedded systems, Proc. of the 9th European Congress Embedded Real Time Software And Systems (ERTS'18), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01700857

P. Bieber, F. Boniol, G. Durrieu, O. Poitou, T. Polacsek et al., MIMOSA : Towards a model driven certification process, Proc. of the 8th European Congress Embedded Real Time Software And Systems (ERTS'16), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289704

P. Bieber and F. Cuppens, Expression of confidentiality policies with deontic logic, pp.103-123, 1994.

D. Bihanic, M. Chevalier, S. Dupuy-chessa, X. L. Pallec, T. Morineau et al., Modèlisation graphique des SI. du traitement visuel de modèles complexes, Actes du XXXIème Congrès INFORSID, pp.99-114, 2013.

D. Bihanic and T. Polacsek, Models for visualisation of complex information systems, 16th International Conference on Information Visualisation, IV 2012, pp.130-135, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00843748

D. Bihanic and T. Polacsek, Visualisation de systèmes d'information complexes une approche par « points de vue étendus, Journal Studia Informatica Universalis, vol.10, issue.1, pp.235-262, 2012.

D. Bihanic and T. Polacsek, Stratavis : une technique de visualisation graphique orientée modèle, vol.35, pp.145-174, 2016.

L. Blum, Turing's Legacy : Developments from Turing's Ideas in Logic, Lecture Notes in Logic, vol.42, pp.48-69, 2014.

W. Barry and . Boehm, Verifying and validating software requirements and design specifications, IEEE Software, vol.1, issue.1, pp.75-88, 1984.

W. Barry and . Boehm, A view of 20th and 21st century software engineering, Proceedings of the 28th international conference on Software engineering (ICSE 2006), pp.12-29, 2006.

F. Boniol, Y. Bouchebaba, J. Brunel, K. Delmas, C. Pagetti et al., PHYLOG : a modelbased certification framework, 37th AIAA/IEEE Digital Avionics Systems Conference (DASC), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01888687

F. Bouissière, C. Cuiller, P. Dereux, S. Kersuzan, and T. Polacsek, Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée, Actes du XXXVème Congrès INFORSID, pp.77-92, 2017.

F. Bouissiere, C. Cuiller, P. Dereux, S. Kersuzan, T. Polacsek et al., Co-engineering in aeronautics ? the a320 forward section case study, Proc. of the 9th European Congress Embedded Real Time Software And Systems (ERTS'18), 2018.

K. A. Briski, P. Chitale, V. Hamilton, A. Pratt, B. Starr et al., Minimizing code defects to improve software quality and lower development costs, 2008.

J. Browne and J. Zhang, Extended and virtual enterprises similarities and differences, International Journal of Agile Management Systems, vol.1, issue.1, pp.30-36, 1999.

J. Cabot, R. Clarisó, and D. Riera, Verification of uml/ocl class diagrams using constraint programming, Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'08), pp.73-80, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

J. Cabot, R. Clarisó, and D. Riera, On the verification of UML/OCL class diagrams using constraint programming, Journal of Systems and Software, vol.93, pp.1-23, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00974321

L. Carroll, Symbolic logic : part I, Elementary (fourth edition). Macmillan and co, p.1896

V. Cassano, S. E. Thomas, and . Maibaum, The definition and assessment of a safety argument, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, pp.180-185, 2014.

H. Castañeda, Thinking and doing : The philosophical foundations of institutions, Philosophical Studies Series, vol.7, 1975.

, Certification Authorities Software Team. Multi-core Processors -Position Paper. position paper CAST 32-A, Federal Aviation Administration, 2016.

B. Chandrasekaran, M. C. Tanner, and J. R. Josephson, Explaining control strategies in problem solving, IEEE Intelligent Systems, vol.4, issue.1, pp.19-24, 1989.

T. Chappell, Plato on knowledge in the theaetetus, 2013.

P. Peter and . Chen, The entity-relationship model -toward a unified view of data, ACM Trans. Database Syst, vol.1, issue.1, pp.9-36, 1976.

, National Research Council Committee on Identifying the Needs of the Forensic Sciences Community. Strengthening Forensic Science in the United States : A Path Forward, 2009.

L. Creuse, J. Huguet, C. Garion, and J. Hugues, Spark by example : an introduction to formal verification through the standard c++ library, 2019.

F. Dalpiaz, X. Franch, and J. Horkoff, , 2016.

.. I. Donald-davidson, Agent, Action, and Reason, pp.1-37, 1971.

C. Robert and . Davis, Shipbuilders of the Venetian arsenal : workers and workplace in the preindustrial city, vol.109, 2007.

M. Vries, Gilbert simondon and the dual nature of technical artifacts, Techné : Research in Philosophy and Technology, vol.12, issue.1, pp.23-35, 2008.

K. Delmas, C. Pagetti, and T. Polacsek, Certification elicitation. submited, 2020.

R. Delmas, D. Doose, A. Fernandes-pires, and T. Polacsek, Supporting model based design, Model and Data Engineering -Proceedings First International Conference, MEDI, vol.6918, pp.237-248, 2011.

R. Delmas, D. Doose, and T. Polacsek, Utilisation de techniques SAT/PseudoBool pour la synthèse de modèles corrects par construction dans le cadre IDM, Génie Lociel, p.97, 2011.

R. Delmas, D. Doose, T. Polacsek, and A. Pires, IDM : Vers une aide à la conception, Actes du XXIXème Congrès INFOR-SID2011, pp.147-162, 2011.

R. Delmas, A. Fernandes-pires, and T. Polacsek, A verification and validation process for model-driven engineering, Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics, vol.6, pp.455-468, 2013.

R. Delmas and T. Polacsek, Formal methods for exchange policy specification, Advanced Information Systems Engineering -25th International Conference, vol.7908, pp.288-303, 2013.

R. Delmas and T. Polacsek, Exigences de confidentialité et de diffusion concernant les politiques d'échanges d'information, Génie Logiciel, vol.111, pp.49-53, 2014.

R. Delmas and T. Polacsek, Critical information diffusion systems, New Trends in Databases and Information Systems -ADBIS 2015 Workshops WISARD, vol.539, pp.557-566, 2015.

R. Delmas and T. Polacsek, Need-to-share and non-diffusion requirements verification in exchange policies, Advanced Information Systems Engineering -27th International Conference, iSE 2015, Proceedings, vol.9097, pp.151-165, 2015.

R. Delmas and T. Polacsek, Vérification automatique d'exigences pour les politiques d'échange d'information, Actes du XXXIIIème Congrès INFORSID, pp.251-265, 2015.

R. Delmas and T. Polacsek, Vérification automatique d'exigences pour les politiques d'échange d'information. exigences de diffusion et de non-diffusion d'information. Ingénierie des Systèmes d'Information, vol.21, pp.39-63, 2016.

R. Delmas, T. Polacsek, F. Sèdes, and . Wisard, Workshop on Information Systems for AlaRm Diffusion, 2015.

D. E. Denning, G. Selim, M. Akl, T. F. Heckman, M. Lunt et al., Views for multilevel database security, IEEE Transactions on Software Engineering, vol.13, issue.2, pp.129-140, 1987.

W. Edsger and . Dijkstra, The humble programmer, Commun. ACM, vol.15, issue.10, pp.859-866, 1972.

W. Edsger and . Dijkstra, Programming as a discipline of mathematical nature, The American Mathematical Monthly, vol.81, issue.6, pp.608-612, 1974.

. Dod, DoD Directive 5000.59 : Modeling and Simulation (M&S) Management. Standard, US Department of Defense, 1994.

C. Duffau, Justification Factory : from justification requirements elicitation to their continuous production, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01978192

C. Duffau, T. Polacsek, and M. Blay-fornarino, Support of justification elicitation : Two industrial reports, Advanced Information Systems Engineering -30th International Conference, vol.10816, pp.71-86, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01816334

C. Duffau, T. Polacsek, and M. Blay-fornarino, Une sé-mantique pour les patrons de justification, Actes du XXXVIème Congrès INFORSID, 2018.

D. Phan-minh, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, vol.77, issue.2, pp.321-358, 1995.

H. Jeffrey, H. Dyer, and . Singh, The Relational View : Cooperative Strategy and Sources of Interorganizational Competitive Advantage, The Academy of Management Review, vol.23, issue.4, pp.660-679, 1998.

B. Edmonds, How formal logic can fail to be useful for modelling or designing mas, Regulated Agent-Based Social Systems, First International Workshop, vol.2934, pp.1-15, 2002.

D. W. Embley, S. W. Liddle, and O. Pastor, Conceptual-model programming : A manifesto, Handbook of Conceptual Modeling -Theory, Practice, and Research Challenges, pp.3-16, 2011.

L. Emmet and G. Cleland, Graphical notations, narratives and persuasion : a pliant systems approach to hypertext tool design, Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, pp.55-64, 2002.

S. Empiricus, Les Hipotiposes pirroniennes, Livre premier, p.1725

M. E. Fagan, Design and code inspections to reduce errors in program development, IBM Systems Journal, vol.15, issue.3, pp.182-211, 1976.

A. Fernandes and P. , Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'Ingénierie Dirigée par les Modèles, 2014.

A. Fernandes-pires, T. Polacsek, and S. Duprat, Formal software verification at model and at source code levels, Model and Data Engineering -2nd International Conference, vol.7602, pp.162-169, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00797091

A. Fernandes-pires, T. Polacsek, and S. Duprat, An eclipse plug-in to link modelling and code proof, Joint Proceedings of Tools, Demos & Posters 27th European Conference Object-Oriented Programming, p.23, 2013.

A. Fernandes-pires, T. Polacsek, V. Wiels, and S. Duprat, Behavioural verification in embedded software, from model to source code, Model-Driven Engineering Languages and Systems -16th International Conference, vol.8107, pp.320-335, 2013.

A. Fernandes-pires, T. Polacsek, V. Wiels, and S. Duprat, Vérifier le comportement du code d'un système embarqué à partir de son modèle, Journal Européen des Systèmes Automatisés, pp.61-75, 2013.

A. Fernandes-pires, T. Polacsek, V. Wiels, and S. Duprat, Use of formal methods in embedded software development : stakes, constraints and proposal, Proc. of the 7th European Congress Embedded Real Time Software And Systems (ERTS'14), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01102152

M. Fisher, C. Frank, and . Keil, The illusion of argument justification, Journal of Experimental Psychology : General, vol.143, issue.1, pp.425-433, 2014.

S. George, P. J. Fishman, and . Kiviat, The statistics of discrete-event simulation, Simulation, vol.10, issue.4, pp.185-195, 1968.

D. Fletcher and P. Gu, Adaptable design for design reuse, Proceedings of the Canadian Engineering Education Association (CEEA), pp.514-517, 2005.

W. Robert and . Floyd, Assigning meanings to programs, Mathematical aspects of computer science, vol.19, p.1, 1967.

M. Franssen, G. Lokhorst, and I. Van-de-poel, Philosophy of technology, 2018.

W. Fritz, The women of eniac, IEEE Annals of the History of Computing, vol.18, issue.3, pp.13-28, 1996.

J. H. Gallier, Logic for Computer Science : Foundations of Automatic Theorem Proving, pp.448-476, 1987.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns : Elements of Reusable Object-oriented Software, 1995.

M. David, D. Godden, and . Walton, Argument from expert opinion as legal evidence : Critical questions and admissibility criteria of expert testimony in the american legal system, Ratio Juris, vol.19, issue.3, pp.261-286, 2006.

M. Gogolla, F. Büttner, and M. Richters, Use : A uml-based specification environment for validating uml and ocl, Sci. Comput. Program, vol.69, issue.1-3, pp.27-34, 2007.

A. Goldstine, A report on the ENIAC (Electronic Numerical Integrator and Computer), volume I. technical report, The University of Pennsylvania, 1946.

B. Goodman and S. R. Flaxman, European union regulations on algorithmic decision-making and a "right to explanation, AI Magazine, vol.38, issue.3, pp.50-57, 2017.

J. Goodwin and A. Fisher, Wigmore's Chart Method, Informal Logic, vol.20, issue.3, pp.223-243, 2001.

I. Göpfert and M. Schulz, Logistics integrated product development in the german automotive industry : current state, trends and challenges, Dynamics in Logistics : Third International Conference, LDIC 2012 Proceedings, pp.509-519, 2013.

A. R. Greenwald, Learning how to argue : experiences teaching the Toulmin model to composition students, 2007.

S. Gregor and I. Benbasat, Explanations from intelligent systems : Theoretical foundations and implications for practice, MIS Quarterly, vol.23, issue.4, pp.497-530, 1999.

Y. Gruet, Les coquillages marins : objets archéologiques à ne pas négliger. quelques exemples d'exploitation et d'utilisation dans l'ouest de la france, vol.10, pp.157-161, 1993.

L. Gugerty, Newell and Simon's Logic Theorist : Historical Background and Impact on Cognitive Modeling, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.50, pp.880-884, 2006.

D. Gürer, Women in computing history, SIGCSE Bulletin, vol.34, issue.2, pp.116-120, 2002.

T. Haigh and M. Priestley, Where code comes from : Architectures of automatic control from babbage to algol, Commun. ACM, vol.59, issue.1, pp.39-44, 2015.

C. L. Hamblin, Fallacies. University paperback, 1970.

M. Harrell and D. Wetzel, Using Argument Diagramming to Teach Critical Thinking in a First-Year Writing Course, pp.213-232, 2015.

J. Hilaire, Adages et maximes du droit français. Dalloz, 2015.

R. Hilpinen, On artifacts and works of art 1, Theoria, vol.58, issue.1, pp.58-82, 1992.

R. Hilpinen, Authors and artifacts, Proceedings of the Aristotelian Society, vol.93, pp.155-178, 1993.

C. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

C. Hoare, How did software get so reliable without proof ?, FME '96 : Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, vol.1051, pp.1-17, 1996.

R. E. Horn, Infrastructure for navigating interdisciplinary debates : critical decisions for representing argumentation, pp.165-184, 2003.

. Ieee and . Ieee, Standard for Software Verification and Validation. Standard, 1998.

. Ieee, 730-2014 -ieee standard for software quality assurance processes (revision of ieee std 730-2002), 2014.

, International Joint Conferences on Artificial Intelligence. Proceedings of the IJCAI'93 Workshop on Explanation and Problem Solving, 1993.

. Iso, 9001 :2015 systèmes de management de la qualité -exigences. Standard, International Organization for Standardization, 2015.

. Iso/iec, ISO/IEC 15026 Systems and software engineering -Systems and software assurance -Part 2 : Assurance case. Standard, International Organization for Standardization, 2011.

. Iso/iec/ieee, ISO/IEC/IEEE International Standard -Systems and software engineering

R. and J. Blair, Logical Self-defense. Key titles in rhetoric, argumentation, and debate series. International Debate Education Association, 1977.

J. Kang, Morpho-syntactic problems analyzed in an extended categorial grammar : application to Korean and to French with an implementation of a categorial parser, 2011.

T. Kelly and J. Mcdermid, Safety case construction and reuse using patterns, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp, pp.55-69, 1997.

T. Kelly, Arguing safety : a systematic approach to managing safety cases, 1999.

T. Kelly and R. Weaver, The Goal Structuring Notation /-A Safety Argument Notation, Proceedings of Dependable Systems and Networks 2004 Workshop on Assurance Cases, 2004.

J. Knight, Advances in software technology since 1992, National Software and Airborne Electronic Hardware Conference, ser. FAA, 2008.

G. Kotonya and I. Sommerville, Requirements engineering : processes and techniques, 1998.

P. Kroes, Engineering and the dual nature of technical artefacts. Cambridge journal of economics, vol.34, pp.51-62, 2009.

P. Kroes and A. Meijers, The dual nature of technical artefacts, Studies in History and Philosophy of Science Part A, vol.37, issue.1, pp.1-4, 2006.

M. Kuhlmann, L. Hamann, and M. Gogolla, Extensive validation of OCL models by integrating SAT solving into USE, Objects, Models, Components, Patterns, Proceedings 49th International Conference, vol.6705, pp.290-306, 2011.

E. C. Patrick-r-laughlin, J. S. Hatch, L. Silver, and . Boh, Groups perform better than the best individuals on letters-to-numbers problems : effects of group size, Journal of Personality and social Psychology, vol.90, issue.4, p.644, 2006.

D. Leberre, SAT4J, a SATisfiability library for java, 2004.

S. Jennifer and . Light, When computers were women, Technology and culture, vol.40, issue.3, pp.455-483, 1999.

M. Vasco, R. Manquinho, I. Martins, and . Lynce, Improving unsatisfiability-based algorithms for boolean optimization, SAT, pp.181-193, 2010.

M. Martinón-torres, X. J. Li, A. Bevan, Y. Xia, K. Zhao et al., Forty thousand arms for a single Emperor : from chemical data to the labor organization behind the bronze arrows of the Terracotta Army, Journal of Archaeological Method and Theory, vol.21, issue.3, pp.534-562, 2014.

J. Mccarthy, Modality, si ! modal logic, no ! Studia Logica, vol.59, pp.29-32, 1997.

J. Mcdermid, Support for safety cases and safety arguments using sam, Reliability Engineering & System Safety, vol.43, issue.2, pp.111-127, 1994.

J. Stuart-mill, Traduction française réalisée par Louis Peisse à partir de la 6e édition anglaise de 1865. Librairie philosophique de Ladrange, p.1866, 1843.

J. Mokyr, The Rise and Fall of the Factory System : Technology, firms, and households since the Industrial Revolution, Carnegie-Rochester Conference Series on Public Policy, vol.55, issue.1, pp.1-45, 2001.

H. James and . Moor, Three myths of computer science, The British Journal for the Philosophy of Science, vol.29, issue.3, pp.213-222, 1978.

F. , L. Morris, and C. B. Jones, An early program proof by alan turing, IEEE Annals of the History of Computing, vol.6, issue.2, pp.139-143, 1984.

D. Moshman, Reasoning as self-constrained thinking, Human Development, vol.38, issue.1, pp.53-64, 1995.

D. Moshman and M. Geil, Collaborative reasoning : Evidence for collective rationality, Thinking & Reasoning, vol.4, issue.3, pp.231-248, 1998.

, Software for Dependable Systems : Sufficient Evidence ?, 2007.

P. Naur and B. Randell, Software engineering : Report on a conference sponsored by the nato science committee, garmisch, germany, 7th to 11th, 1968.

. John-von-neumann, The Computer and the Brain, 1958.

A. Newell and H. A. Simon, The logic theory machine-a complex information processing system, IRE Trans. Information Theory, vol.2, issue.3, pp.61-79, 1956.

T. G. William-l-oberkampf, C. Trucano, and . Hirsch, Verification, validation, and predictive capability in computational engineering and physics, Applied Mechanics Reviews, vol.57, issue.5, pp.345-384, 2004.

. Omg and . Structured, Assurance Case Meta-model (SACM). Standard, Object Management Group, 2013.

N. Oreskes, K. Shrader-frechette, and K. Belitz, Verification, validation, and confirmation of numerical models in the earth sciences, Science, vol.263, issue.5147, pp.641-646, 1994.

O. Pastor, M. Ruiz, and S. España, From requirements to code : A full model-driven development perspective, Software and Data Technologies -6th International Conference, ICSOFT. Revised Selected Papers, vol.303, pp.56-70, 2011.

C. Perelman and L. Olbrechts-tyteca, Traité de l'argumentation : La nouvelle rhétorique. UBlire -Fondamentaux, 2008.

P. and T. Parménide, Traduction par Émile Chambry. GF-Flammarion, 1991.

T. Polacsek, ;. Shen, A. Jean-paul, J. Barthès, W. Luo et al., A process to support and to report collaborative decision, 19th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2015, pp.188-193, 2015.

T. Polacsek, Accreditation or Certification : a New Kind of Diagram to Provide Confidence, 10th IEEE International Conference on Research Challenges in Information Science, RCIS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01413100

T. Polacsek, Diagramme de justification. un outil pour la validation, la certification et l'accréditation, vol.22, pp.95-119, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01849131

T. Polacsek, L. Cholvy, ;. Jean-paul, A. Barthès, J. Luo et al., A framework to report and to analyse a debate, Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, pp.84-90, 2011.

T. Polacsek, S. Roussel, F. Bouissière, C. Cuiller, P. Dereux et al., Towards thinking manufacturing and design together : An aeronautical case study, Conceptual Modeling -36th International Conference, vol.10650, pp.340-353, 2017.

T. Polacsek, S. Roussel, C. Pralet, and C. Cuiller, Design for efficient production, a model-based approach, 13th IEEE International Conference on Research Challenges in Information Science, 2019.

T. Polacsek, S. Sharma, C. Cuiller, and V. Tuloup, The need of diagrams based on toulmin schema application : an aeronautical case study, EURO Journal on Decision Processes, vol.6, issue.3-4, pp.257-282, 2018.

D. Potier, Briques génériques du logiciel embarqué, 2010.

H. Prakken, Formal systems for persuasion dialogue, Knowledge Eng. Review, vol.21, issue.2, pp.163-188, 2006.

C. Pralet, S. Roussel, T. Polacsek, F. Bouissière, C. Cuiller et al., A scheduling tool for bridging the gap between aircraft design and aircraft manufacturing, Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS, pp.347-355, 2018.

C. Reed and D. Walton, Applications of argument schemes, Proceedings of the 4th Conference of the Ontario Study of Argumentation (OSSA-2001), 2001.

L. Rex, E. Thomas, and S. Engel, Applying Toulmin : Teaching logical reasoning and argumentative writing, English Journal, vol.99, issue.6, pp.55-61, 2010.

R. Pierre-claude, Manufacturing quality in the pre-industrial age : finding value in diversity[the author, Economic History Review, vol.53, issue.3, pp.493-516, 2000.

A. Rodney, J. Reynolds, . Reynolds, and . Evidence, , pp.427-446, 2002.

J. David, J. C. Rinehart, J. Knight, and . Rowanhill, Current practices in constructing and evaluating assurance cases with applications to aviation, NASA, 2015.

J. Patrick and . Roache, Verification and validation in computational science and engineering, 1998.

S. Roussel, C. Pralet, T. Polacsek, F. Bouissiere, C. Cuiller et al., Un outil d'ordonnancement pour interfacer conception de produit et chaîne de production en aéronautique, Proc. congrès annuel de la société Française de Recherche Opérationnelle et d'Aide à la Décision, 2018.

M. Roza, J. Voogd, and D. Sebalj, The generic methodology for verification and validation to support acceptance of models, simulations and data, The Journal of Defense Modeling and Simulation, vol.10, issue.4, pp.347-365, 2013.

J. Rushby, X. Xu, M. Rangarajan, and T. Weaver, Understanding and evaluating assurance cases, 2015.

. Sae and . Arp, 4754A Guidelines For Development Of Civil Aircraft and Systems. Guidelines, Society of Automotive Engineers International, 2010.

G. Robert, O. Sargent, and . Balci, History of verification and validation of simulation models, Proceedings of the 2017 Winter Simulation Conference (WSC), pp.292-307, 2017.

R. Sebastiani and M. Vescovi, Automated reasoning in modal and description logics via sat encoding : the case study of k(m)/alc-satisfiability, Journal of Artificial Intelligence Research (JAIR), vol.35, pp.343-389, 2009.

R. Sèdes, F. , and T. Polacsek, , vol.21, pp.7-10, 2016.

G. Delavar, S. Shenas, and . Derakhshan, Organizational approaches to the implementation of simultaneous engineering, International Journal of Operations & Production Management, vol.14, issue.10, pp.30-43, 1994.

A. Walter and . Shewhart, Nature and Origin of Standards of Quality. Bell System Technical Journal, vol.37, issue.1, pp.1-22, 1958.

A. Herbert and . Simon, The architecture of complexity, Facets of systems science, pp.457-476, 1991.

M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler, Verifying UML/OCL models using boolean satisfiability, Design, Automation and Test in Europe, DATE 2010, pp.1341-1344, 2010.

R. W. Southwick, Explaining reasoning : an overview of explanation in knowledge-based systems, Knowledge Eng. Review, vol.6, issue.1, pp.1-19, 1991.

J. and M. Spivey, An introduction to Z and formal specifications, Software Engineering Journal, vol.4, issue.1, pp.40-50, 1989.

J. Jonette-m-stecklein, B. Dabney, B. Dick, R. Haskins, G. Lovell et al., Error cost escalation through the project life cycle, 14th Annual International Symposium, pp.1723-1737, 2004.

E. Stefferud, The logic theory machine : a model heuristic program. Memorandum, Rand Corporation, 1963.

B. L. Stuart, Programming the eniac, Proceedings of the IEEE, vol.106, pp.1760-1770, 2018.

W. R. Swartout, XPLAIN : A system for creating and explaining expert consulting programs, Artificial Intelligence, vol.21, issue.3, pp.285-325, 1983.

F. Winslow and T. , The principles of scientific management, p.59, 1911.

S. E. Toulmin, The Uses of Argument, 2003.

A. Trognon, M. Batt, and J. Laux, Why is dialogical solving of a logical problem more effective than individual solving ? : A formal and experimental study of an abstract version of Wason's task, Language and Dialogue, vol.1, issue.1, pp.44-78, 2011.

R. Turner, Specification. Minds and Machines, vol.21, issue.2, pp.135-152, 2011.

R. Turner and N. Angius, The philosophy of computer science, 2017.

C. R. Twardy, Argument maps improve critical thinking, Teaching Philosophy, vol.27, issue.2, pp.95-116, 2004.

. Uk-ministry-of-defence, Defence Standard 00-56 Safety Management Requirements for Defence Systems. Standard, UK Ministry of Defence, Def Stan, pp.0-56, 2007.

. Uk-ministry-of-defence, Defence Standard 00-42 Reliability and Maintainability Assurance Guide Part 3 : R&M Case. Standard, UK Ministry of Defence, 2008.

A. Van-lamsweerde, Requirements Engineering -From System Goals to UML Models to Software Specifications, 2009.

B. Verheij, Artificial argument assistants for defeasible argumentation, Artificial Intelligence, vol.150, pp.291-324, 2003.

E. Pieter, W. Vermaas, and . Houkes, Ascribing functions to technical artefacts : A challenge to etiological accounts of functions, The British Journal for the Philosophy of Science, vol.54, issue.2, pp.261-289, 2003.

G. H. and V. Wright, Deontic logic. Mind, vol.60, pp.1-15, 1951.

D. Walton, Practical reasoning and the structure of fear appeal arguments, Philosophy and Rhetoric, vol.29, issue.4, pp.301-313, 1996.

D. Walton, The appeal to ignorance, or argumentum ad ignorantiam, Argumentation, vol.13, issue.4, pp.367-377, 1999.

A. Wassyng, N. Singh, M. Geven, N. Proscia, H. Wang et al., Can product-specific assurance case templates be used as medical device standards ?, IEEE Design & Test, vol.32, issue.5, pp.45-55, 2015.

B. Charles, J. B. Weinstock, J. Goodenough, and . Hudak, Dependability cases, 2004.

R. Whately, Elements of logic, comprising the substance of the article in Enciclopaedia Metripolitana : with additions, p.1836

U. Wingate, argument !' helping students understand what essay writing is about, Journal of English for Academic Purposes, vol.11, issue.2, p.2012

E. Winsberg, Models of success versus the success of models : Reliability without truth, Synthese, vol.152, issue.1, pp.1-19, 2006.

E. Winsberg, Science in the age of computer simulation, 2010.

L. and R. Ye, The value of explanation in expert systems for auditing : An experimental investigation, Expert Systems with Applications, vol.9, issue.4, pp.543-556, 1995.

L. , R. Ye, and P. E. Johnson, The impact of explanation facilities in user acceptance of expert system advice, MIS Quarterly, vol.19, issue.2, pp.157-172, 1995.

S. K. Eric and . Yu, Towards modeling and reasoning support for early-phase requirements engineering, 3rd IEEE International Symposium on Requirements Engineering (RE'97), pp.226-235, 1997.