{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T21:01:56Z","timestamp":1760821316825,"version":"3.40.3"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031081651"},{"type":"electronic","value":"9783031081668"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08166-8_8","type":"book-chapter","created":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T23:03:27Z","timestamp":1656889407000},"page":"147-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Modular and Variability-Aware Aerodynamic Simulator"],"prefix":"10.1007","author":[{"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Maugars","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Michel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,4]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Agosta, G., Fornaciari, W., Massari, G., Pupykina, A., Reghenzani, F., Zanella, M.: Managing heterogeneous resources in HPC systems. In: Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2018, pp. 7\u201312. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3183767.3183769","DOI":"10.1145\/3183767.3183769"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Ulbrich, M. (eds.): Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science, vol. 12345. Springer, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-64354-6","DOI":"10.1007\/978-3-030-64354-6"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Apel, S., K\u00e4stner, C., Lengauer, C.: FEATUREHOUSE: language-independent, automated software composition. In: Proceedings of 31st International Conference on Software Engineering, ICSE 2009, 16\u201324 May 2009, Vancouver, Canada, pp. 221\u2013231. IEEE (2009). https:\/\/doi.org\/10.1109\/ICSE.2009.5070523","DOI":"10.1109\/ICSE.2009.5070523"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Aupoix, B., Spalart, P.: Extensions of the Spalart-Allmaras turbulence model to account for wall roughness. Int. J. Heat Fluid Flow 24(4), 454\u2013462 (2003). https:\/\/doi.org\/10.1016\/S0142-727X(03)00043-2. Selected Papers from the Fifth International Conference on Engineering Turbulence Modelling and Measurements","DOI":"10.1016\/S0142-727X(03)00043-2"},{"key":"8_CR5","unstructured":"Biedron, R.T., et al.: FUN3D manual: 13.7. National Aeronautics and Space Administration, Langley Research Center (2020)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"839","DOI":"10.1007\/978-3-319-93713-7_83","volume-title":"Computational Science \u2013 ICCS 2018","author":"K Bourgeois","year":"2018","unstructured":"Bourgeois, K., Robert, S., Limet, S., Essayan, V.: GeoSkelSL: a Python high-level DSL for parallel computing in geosciences. In: Shi, Y., et al. (eds.) ICCS 2018. LNCS, vol. 10862, pp. 839\u2013845. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93713-7_83"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Broquedis, F., et al.: hwloc: a generic framework for managing hardware affinities in HPC applications. In: PDP 2010 - The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing. IEEE, Pisa, February 2010. https:\/\/doi.org\/10.1109\/PDP.2010.67","DOI":"10.1109\/PDP.2010.67"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1051\/meca\/2013056","volume":"14","author":"L Cambier","year":"2013","unstructured":"Cambier, L., Heib, S., Plot, S.: The Onera elsA CFD software: input from research and feedback from industry. Mech. Ind. 14(3), 159\u2013174 (2013). https:\/\/doi.org\/10.1051\/meca\/2013056","journal-title":"Mech. Ind."},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Ci\u017cnicki, M., Kurowski, K., eglarz, J.W.: Energy and performance improvements in stencil computations on multi-node HPC systems with different network and communication topologies. Future Gener. Comput. Syst. 115, 45\u201358 (2021). https:\/\/doi.org\/10.1016\/j.future.2020.08.018","DOI":"10.1016\/j.future.2020.08.018"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21455-4_13","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"D Clarke","year":"2011","unstructured":"Clarke, D., et al.: Modeling spatial and temporal variability with the HATS abstract behavioral modeling language. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 417\u2013457. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21455-4_13"},{"key":"8_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Constantin, P., Foias, C.: Navier-Stokes Equations. University of Chicago Press (1988)","DOI":"10.7208\/chicago\/9780226764320.001.0001"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-28630-1_17","volume-title":"Software Product Lines","author":"K Czarnecki","year":"2004","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266\u2013283. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28630-1_17"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-54494-5_25","volume-title":"Fundamental Approaches to Software Engineering","author":"F Damiani","year":"2017","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M.: A unified and formal programming model for deltas and traits. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 424\u2013441. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_25"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Damiani, F., H\u00e4hnle, R., Kamburjan, E., Lienhardt, M., Paolini, L.: Variability modules for java-like languages. In: Mousavi, M., Schobbens, P. (eds.) SPLC 2021: 25th ACM International Systems and Software Product Line Conference, Leicester, UK, 6\u201311 September 2021, vol. A, pp. 1\u201312. ACM (2021). https:\/\/doi.org\/10.1145\/3461001.3471143","DOI":"10.1145\/3461001.3471143"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1093\/comjnl\/34.1.16","volume":"34","author":"AJJ Dick","year":"1991","unstructured":"Dick, A.J.J., Watson, P.: Order-sorted term rewriting. Comput. J. 34(1), 16\u201319 (1991). https:\/\/doi.org\/10.1093\/comjnl\/34.1.16","journal-title":"Comput. J."},{"key":"8_CR17","unstructured":"Fay, M.: First-order unification in an equational theory. Technical report 78-5-002, University of California at Santa Cruz (1978)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.micpro.2018.05.011","volume":"61","author":"J Flich","year":"2018","unstructured":"Flich, J., et al.: Exploring manycore architectures for next-generation HPC systems through the mango approach. Microprocess. Microsyst. 61, 154\u2013170 (2018). https:\/\/doi.org\/10.1016\/j.micpro.2018.05.011","journal-title":"Microprocess. Microsyst."},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-030-39181-2_9","volume-title":"Sustained Simulation Performance 2018 and 2019","author":"E Focht","year":"2020","unstructured":"Focht, E.: VEO and PyVEO: vector engine offloading for the NEC SX-Aurora tsubasa. In: Resch, M.M., Kovalenko, Y., Bez, W., Focht, E., Kobayashi, H. (eds.) Sustained Simulation Performance 2018 and 2019, pp. 95\u2013109. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-39181-2_9"},{"key":"8_CR20","unstructured":"Goglin, B.: Towards the structural modeling of the topology of next-generation heterogeneous cluster nodes with hwloc. Research report, Inria, November 2016. https:\/\/hal.inria.fr\/hal-01400264"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-19242-5_22","volume-title":"Conditional Term Rewriting Systems","author":"J Goguen","year":"1988","unstructured":"Goguen, J., Kirchner, C., Kirchner, H., M\u00e9grelis, A., Meseguer, J., Winkler, T.: An introduction to OBJ 3. In: Kaplan, S., Jouannaud, J.-P. (eds.) CTRS 1987. LNCS, vol. 308, pp. 258\u2013263. Springer, Heidelberg (1988). https:\/\/doi.org\/10.1007\/3-540-19242-5_22"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-16561-0_2","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"R H\u00e4hnle","year":"2010","unstructured":"H\u00e4hnle, R.: HATS: highly adaptable and trustworthy software using formal methods. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 3\u20138. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16561-0_2"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-16561-0_6","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"R H\u00e4hnle","year":"2010","unstructured":"H\u00e4hnle, R.: Task forces in the EternalS coordination action. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6416, pp. 20\u201322. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16561-0_6"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40615-7_1","volume-title":"Formal Methods for Components and Objects","author":"R H\u00e4hnle","year":"2013","unstructured":"H\u00e4hnle, R.: The abstract behavioral specification language: a tutorial introduction. In: Giachino, E., H\u00e4hnle, R., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2012. LNCS, vol. 7866, pp. 1\u201337. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40615-7_1"},{"issue":"6","key":"8_CR25","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MC.2015.172","volume":"48","author":"R H\u00e4hnle","year":"2015","unstructured":"H\u00e4hnle, R., Johnsen, E.B.: Designing resource-aware cloud applications. Computer 48(6), 72\u201375 (2015). https:\/\/doi.org\/10.1109\/MC.2015.172","journal-title":"Computer"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-34026-0_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"R H\u00e4hnle","year":"2012","unstructured":"H\u00e4hnle, R., Schaefer, I.: A Liskov principle for delta-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 32\u201346. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34026-0_4"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Han, Z., Devarajegowda, K., Werner, M., Ecker, W.: Towards a python-based one language ecosystem for embedded systems automation. In: 2019 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC), pp. 1\u20137 (2019). https:\/\/doi.org\/10.1109\/NORCHIP.2019.8906949","DOI":"10.1109\/NORCHIP.2019.8906949"},{"issue":"3","key":"8_CR28","doi-asserted-by":"publisher","first-page":"1304","DOI":"10.2514\/1.J058853","volume":"58","author":"P He","year":"2020","unstructured":"He, P., Mader, C.A., Martins, J.R.R.A., Maki, K.J.: DAFoam: an open-source adjoint framework for multidisciplinary design optimization with OpenFOAM. AIAA J. 58(3), 1304\u20131319 (2020). https:\/\/doi.org\/10.2514\/1.J058853","journal-title":"AIAA J."},{"key":"8_CR29","unstructured":"Hink, R., Hannemann, V., Eggers, T.: Extension of the Spalart-Allmaras one-equation turbulence model for effusion cooling problems. In: Deutscher Luft - und Raumfahrtkongress 2013, September 2013. https:\/\/elib.dlr.de\/84638\/"},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Hoefler, T., Schneider, T.: Optimization principles for collective neighborhood communications. In: SC 2012: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, pp. 1\u201310. IEEE (2012). https:\/\/doi.org\/10.1109\/SC.2012.86","DOI":"10.1109\/SC.2012.86"},{"issue":"2","key":"8_CR31","doi-asserted-by":"publisher","first-page":"89","DOI":"10.2478\/IJNAOE-2013-0011","volume":"1","author":"H Jasak","year":"2009","unstructured":"Jasak, H.: OpenFOAM: open source CFD in research and industry. Int. J. Naval Archit. Ocean Eng. 1(2), 89\u201394 (2009). https:\/\/doi.org\/10.2478\/IJNAOE-2013-0011","journal-title":"Int. J. Naval Archit. Ocean Eng."},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Jung, Y.S., Baeder, J.: $$\\gamma -\\overline{\\mathit{re}_{\\theta t}}$$ Spalart\u2013Allmaras with crossflow transition model using Hamiltonian\u2013strand approach. J. Aircr. 56(3), 1040\u20131055 (2019). https:\/\/doi.org\/10.2514\/1.C035149","DOI":"10.2514\/1.C035149"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-68499-4_9","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"E Kamburjan","year":"2017","unstructured":"Kamburjan, E., H\u00e4hnle, R.: Deductive verification of railway operations. In: Fantechi, A., Lecomte, T., Romanovsky, A.B. (eds.) RSSRail 2017. LNCS, vol. 10598, pp. 131\u2013147. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68499-4_9"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"100542","DOI":"10.1016\/j.paerosci.2019.05.002","volume":"110","author":"GK Kenway","year":"2019","unstructured":"Kenway, G.K., Mader, C.A., He, P., Martins, J.R.: Effective adjoint approaches for computational fluid dynamics. Prog. Aerosp. Sci. 110, 100542 (2019). https:\/\/doi.org\/10.1016\/j.paerosci.2019.05.002","journal-title":"Prog. Aerosp. Sci."},{"issue":"10","key":"8_CR35","doi-asserted-by":"publisher","first-page":"2176","DOI":"10.1109\/TPDS.2018.2827055","volume":"29","author":"H Khaleghzadeh","year":"2018","unstructured":"Khaleghzadeh, H., Manumachu, R.R., Lastovetsky, A.: A novel data-partitioning algorithm for performance optimization of data-parallel applications on heterogeneous HPC platforms. IEEE Trans. Parallel Distrib. Syst. 29(10), 2176\u20132190 (2018). https:\/\/doi.org\/10.1109\/TPDS.2018.2827055","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"8_CR36","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.ijheatfluidflow.2008.09.009","volume":"30","author":"T Knopp","year":"2009","unstructured":"Knopp, T., Eisfeld, B., Calvo, J.B.: A new extension for k-$$\\omega $$ turbulence models to account for wall roughness. Int. J. Heat Fluid Flow 30(1), 54\u201365 (2009). https:\/\/doi.org\/10.1016\/j.ijheatfluidflow.2008.09.009","journal-title":"Int. J. Heat Fluid Flow"},{"key":"8_CR37","doi-asserted-by":"publisher","unstructured":"Koscielny, J., Holthusen, S., Schaefer, I., Schulze, S., Bettini, L., Damiani, F.: DeltaJ 1.5: delta-oriented programming for Java. In: International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ 2014, pp. 63\u201374 (2014). https:\/\/doi.org\/10.1145\/2647508.2647512","DOI":"10.1145\/2647508.2647512"},{"issue":"2","key":"8_CR38","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1070\/rm2003v058n02abeh000610","volume":"58","author":"OA Ladyzhenskaya","year":"2003","unstructured":"Ladyzhenskaya, O.A.: Sixth problem of the millennium: Navier-stokes equations, existence and smoothness. Russ. Math. Surv. 58(2), 251\u2013286 (2003). https:\/\/doi.org\/10.1070\/rm2003v058n02abeh000610","journal-title":"Russ. Math. Surv."},{"key":"8_CR39","unstructured":"Leicht, T., J\u00e4gersk\u00fcpper, J., Vollmer, D., Schw\u00f6ppe, A., Hartmann, R., Fiedler, J., Schlauch, T.: DLR-project digital-X - next generation CFD solver \u2018flucs\u2019. In: Deutscher Luft-und Raumfahrtkongress 2016, February 2016. https:\/\/elib.dlr.de\/111205\/"},{"issue":"3","key":"8_CR40","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.5194\/gmd-12-1165-2019","volume":"12","author":"M Louboutin","year":"2019","unstructured":"Louboutin, M., et al.: Devito (v3.1.0): an embedded domain-specific language for finite differences and geophysical exploration. Geosci. Model Dev. 12(3), 1165\u20131187 (2019). https:\/\/doi.org\/10.5194\/gmd-12-1165-2019","journal-title":"Geosci. Model Dev."},{"key":"8_CR41","doi-asserted-by":"publisher","unstructured":"Mader, C.A., Kenway, G.K.W., Yildirim, A., Martins, J.R.R.A.: ADflow\u2013an open-source computational fluid dynamics solver for aerodynamic and multidisciplinary optimization. J. Aerosp. Inf. Syst. (2020). https:\/\/doi.org\/10.2514\/1.I010796","DOI":"10.2514\/1.I010796"},{"key":"8_CR42","unstructured":"McAlister, K.W., Carr, L.W., McCroskey, W.J.: Dynamic stall experiments on the NACA 0012 airfoil. Technical report, NASA (1978)"},{"key":"8_CR43","unstructured":"McCroskey, W.: A critical assessment of wind tunnel results for the NACA 0012 airfoil. Technical report, National Aeronautics And Space Administration Moffett Field Ca Ames ... (1987)"},{"issue":"4","key":"8_CR44","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/S0747-7171(89)80036-7","volume":"8","author":"J Meseguer","year":"1989","unstructured":"Meseguer, J., Goguen, J.A., Smolka, G.: Order-sorted unification. J. Symb. Comput. 8(4), 383\u2013413 (1989). https:\/\/doi.org\/10.1016\/S0747-7171(89)80036-7","journal-title":"J. Symb. Comput."},{"key":"8_CR45","doi-asserted-by":"crossref","unstructured":"Metcalf, M., Reid, J.K.: Fortran 90\/95 Explained. Oxford University Press, Inc. (1999)","DOI":"10.1145\/344283.344289"},{"key":"8_CR46","doi-asserted-by":"publisher","unstructured":"Mofrad, M.H., Melhem, R., Ahmad, Y., Hammoud, M.: Graphite: a NUMA-aware HPC system for graph analytics based on a new MPI * X parallelism model. Proc. VLDB Endow. 13(6), 783\u2013797 (2020). https:\/\/doi.org\/10.14778\/3380750.3380751","DOI":"10.14778\/3380750.3380751"},{"key":"8_CR47","series-title":"Undergraduate Topics in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-21903-5_2","volume-title":"Introduction to HPC with MPI for Data Science","author":"F Nielsen","year":"2016","unstructured":"Nielsen, F.: Introduction to MPI: the message passing interface. In: Nielsen, F. (ed.) Introduction to HPC with MPI for Data Science. Undergraduate Topics in Computer Science, pp. 21\u201362. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-21903-5_2"},{"key":"8_CR48","unstructured":"NRC: Trace v5.0 theory manual - field equations, solution methods, and physical models. Technical report, United States Nuclear Regulartory Commission (2012)"},{"key":"8_CR49","doi-asserted-by":"publisher","unstructured":"Palacios, F., et al.: Stanford university unstructured (SU$$^2$$): An open-source integrated computational environment for multi-physics simulation and design. In: 51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition 2013, January 2013. https:\/\/doi.org\/10.2514\/6.2013-287","DOI":"10.2514\/6.2013-287"},{"issue":"4","key":"8_CR50","doi-asserted-by":"publisher","first-page":"730","DOI":"10.2514\/1.A33475","volume":"53","author":"J Perraud","year":"2016","unstructured":"Perraud, J., Durant, A.: Stability-based mach zero to four longitudinal transition prediction criterion. J. Spacecr. Rock. 53(4), 730\u2013742 (2016). https:\/\/doi.org\/10.2514\/1.A33475","journal-title":"J. Spacecr. Rock."},{"key":"8_CR51","doi-asserted-by":"publisher","unstructured":"Poinot, M., Rumsey, C.L.: Seven keys for practical understanding and use of CGNS. American Institute of Aeronautics and Astronautics (2018). https:\/\/doi.org\/10.2514\/6.2018-1503","DOI":"10.2514\/6.2018-1503"},{"key":"8_CR52","doi-asserted-by":"publisher","unstructured":"Poirier, D., Allmaras, S., McCarthy, D., Smith, M., Enomoto, F.: The CGNS system. American Institute of Aeronautics and Astronautics (1998). https:\/\/doi.org\/10.2514\/6.1998-3007","DOI":"10.2514\/6.1998-3007"},{"key":"8_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15579-6_6","volume-title":"Software Product Lines: Going Beyond","author":"I Schaefer","year":"2010","unstructured":"Schaefer, I., Bettini, L., Bono, V., Damiani, F., Tanzarella, N.: Delta-oriented programming of software product lines. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 77\u201391. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15579-6_6"},{"key":"8_CR54","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: DeltaEcore - a model-based delta language generation framework. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Modellierung 2014, 19\u201321 March 2014, Wien, \u00d6sterreich. LNI, vol. P-225, pp. 81\u201396. GI (2014). https:\/\/dl.gi.de\/20.500.12116\/17067"},{"key":"8_CR55","unstructured":"Stroustrup, B.: A Tour of C++. Addison-Wesley Professional (2018)"},{"key":"8_CR56","doi-asserted-by":"publisher","unstructured":"Th\u00fcm, T., K\u00e4stner, C., Benduhn, F., Meinicke, J., Saake, G., Leich, T.: FeatureIDE: an extensible framework for feature-oriented software development. Sci. Comput. Program. 79, 70\u201385 (2014). https:\/\/doi.org\/10.1016\/j.scico.2012.06.002. Experimental Software and Toolkits (EST 4): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT-3 2010)","DOI":"10.1016\/j.scico.2012.06.002"},{"issue":"11","key":"8_CR57","doi-asserted-by":"publisher","first-page":"3028","DOI":"10.1016\/j.cpc.2014.07.011","volume":"185","author":"F Witherden","year":"2014","unstructured":"Witherden, F., Farrington, A., Vincent, P.: PyFR: an open source framework for solving advection-diffusion type problems on streaming architectures using the flux reconstruction approach. Comput. Phys. Commun. 185(11), 3028\u20133040 (2014). https:\/\/doi.org\/10.1016\/j.cpc.2014.07.011","journal-title":"Comput. Phys. Commun."},{"key":"8_CR58","doi-asserted-by":"publisher","unstructured":"Young, V., Jaleel, A., Bolotin, E., Ebrahimi, E., Nellans, D., Villa, O.: Combining HW\/SW mechanisms to improve NUMA performance of multi-GPU systems. In: 2018 51st Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO), pp. 339\u2013351 (2018). https:\/\/doi.org\/10.1109\/MICRO.2018.00035","DOI":"10.1109\/MICRO.2018.00035"},{"key":"8_CR59","doi-asserted-by":"publisher","unstructured":"Zhang, N., Driscoll, M., Markley, C., Williams, S., Basu, P., Fox, A.: Snowflake: a lightweight portable stencil DSL. In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), pp. 795\u2013804 (2017). https:\/\/doi.org\/10.1109\/IPDPSW.2017.89","DOI":"10.1109\/IPDPSW.2017.89"}],"container-title":["Lecture Notes in Computer Science","The Logic of Software. A Tasting Menu of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08166-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T23:38:25Z","timestamp":1656891505000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08166-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031081651","9783031081668"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08166-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"4 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}