C. Babers, Architecture Development Made Simple, Lulu.com, 2006.

, Sys­ tems Engineering Handbook, 2015.

P. Laplante, Requirements Engineering for Software and Sys­ tems, 2014.

D. Madsen and D. P. Madsen, Engineering Drawing and De­ sign, Delmar, Cengage Leaming, 2012.

K. Sabbagh, Twenty-First-Century Jet: The Making and Market­ ing of the Boeing 777, 1996.

V. Kreinovich, J. Lakeyev, P. Rohn, . M. Kahl-;-p, and . Pardalos, Computational Complexity and Feasibility of Data Processing and Interval Com­ putations, Complexity in Numerical Optimization, 1993.

M. E. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, 1979.

C. H. Papadimitriou, Computational Complexity, 1994.

D. J. Sheskin, Handbook of Parametric and Nonparametric Sta­ tistical Procedures, 2011.

J. Beirlant, Y. Goegevuer, J. Te, and J. Segers, Statistics of Extremes: Theory and Applications, 2004.

L. De-haan, A. Ferreira, ;. Embrechts, C. Kltippelberg, and T. Mikosch, Modelling Ex­ tremal Events for Insurance and Finance, 2006.

E. J. Gumbel, Statistics of Extremes, 2004.

J. J. Lee, S. P. Lukachko, I. A. Waitz, ;. P. Schafer, J. Peeters et al., Fuel Efficiency of Commercuial Aircraft: An Overview of Historical and Future Trends, An­ nual Review of Energy Environment, vol.26, pp.167-200, 2001.

J. E. Penner, D. H. Lister, D. J. Griggs, D. J. Dokken, and . Land, Aviation and the Global Atmosphere: A Special Report ofln­ tergovemmental Panel on Climate Change (IPCC) Working Groups I and III, 1999.

J. L. Hennessy and D. Patterson, Computer Architecture: A Quantitative Approach, 2012.

G. E. Moore, Cramnting More Components onto Integrated Cir­ cuits, pp.114-117, 1965.

?. J. Lorkowski and V. Kreinovich, Likert-type fuzzy uncertainty from a traditional decision making viewpoint: how symmetry helps explain human decision making (including seemingly irrational behavior), Applied and Computational Mathematics, vol.13, issue.3, pp.275-298, 2014.

?. J. Lorkowski and V. Kreinovich, If we measure a number, we get an interval. What if we measure a function or an operator?, Reliable Computing, vol.2, issue.3, pp.287-298, 1996.

?. J. Lorkowski, R. Aliev, and V. Kreinovich, Towards Decision Making under Interval, Set-Valued, Fuzzy, and Z-Number Uncertainty: A Fair Price Approach, Proc. IEEE World Congress on Computational Intelligence WCCI'2014, 2014.

?. J. Lorkowski and V. Kreinovich, Interval and Symmetry Approaches to Uncertainty-Pioneered by Wiener-Help Explain Seemingly Irrational Human Behavior: A Case Study, Proc. of the 2014 Annual Conf. of the North American Fuzzy Information Processing Society NAFIPS, 2014.

W. University and E. Paso, USA Brief Biographical History: 2005-Assistant Professor, vol.79968

?. Kosheleva, R. Reiser, V. Kreinovich, ;. E. Trillas, R. Seising et al., Formalizing the informal, precisiating the imprecise: how fuzzy logic can help mathematicians and physicists by formalizing their intuitive ideas

V. Kacprycz-;-kosheleva and . Kreinovich, How to explain (and overcome) 2% barrier in teaching computer science: towards new applications of fuzzy ideas, Fuzzy Logic: Towards the Future, vol.l, 2013.

?. 0. Kosheleva and V. Kreinovich, Towards optimal effort distribution in process design under uncertainty, with application to education, Int. J. of Reliability and Safety, vol.6, issue.1-3, pp.148-166, 2012.

?. P. Pinheiro-da-silva, A. Velasco, V. Kosheleva, and . Kreinovich, How AI-type uncertainty ideas can improve inter-disciplinary collaboration and education: lessons from a case study, J. of Advanced Computational Intelligence and Intelligent Informatics (JACIII), vol.14, issue.6, pp.700-707, 2010.

, Association of Mathematics Teacher Educators (AMTE) ? Mathematical Association of America (MAA) Name: Vladik Kreinovich Affiliation

W. University and E. Paso, USA Brief Biographical History: 1975-Institute of Mathematics, Soviet Academy of Sciences 1980-Leading Researcher, National Institute for Electrical Measuring Instruments, Russia 1989-Visiting Researcher, vol.79968

?. H. Nguyen, V. Kreinovich, B. Wu, and G. Xiang, Computing Statistics under Interval and Fuzzy Uncertainty, 2012.

, Constraint Programming and Decision Making, 2014.

?. C. Hu and R. B. Kearfott, Knowledge Processing with Interval and Soft Computing, 2008.

, Handbook on Granular Computing, 2008.

, Address: Name: Sergei Soloviev Affiliation: lnstitut de Recherche en

, Mechanics, and Optics (ITMO)

, Porte 421, 118 route de Narbonne 31062 Toulouse cedex 4, France Brief Biographical History: 1998-Researcher

, Logical Aspects of Computational Linguistics, Proc. of the 8th Int. Conf. LACL'2014, vol.8535, 2014.

?. Z. Luo, S. Soloviev, and T. Xue, Coercive subtyping: Thaory and implementation, Information and Computation, vol.223, pp.18-42, 2013.

?. B. Boisvert, L. Feraud, and S. Soloviev, Incorporating proofs in a categorical attributed graph transformation system for software modelling and verification, Proc. 1st Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD'2013, pp.62-74, 2013.

?. B. Boisvert, S. Feraud, and . Soloviev, Typed lambda-terms in categorical attributed graph transformation, Proc. 2nd Int. Workshop on Algebraic Methods in Model-based Software Engineering AMMSE'2011, pp.33-47, 2011.