fering, assumptions in place. Multiphysics is one of many areas where the assumptions embedded in models (created by different teams of people) could benefit from robust formal development. In this article we describe the challenges in the tools available on today's market and how it can impact applications at NASA. We also introduce cutting edge-research sponsored by DAPRA to address those challenges with techniques in programming languages. State of the Market While tools currently exist that allow users to create multi-physics models, the current state of the art has limitations. These tools tend to be proprietary, not portable, and designed for a particular sub-community of physics practitioners, or they are built for a limited set of solving techniques. These tools can side-step Domain-specific tools are designed so that domain experts can write their problems in a syntax and style that is familiar to them and their applications are representative of the problems they are trying to solve. Aerospace & Defense Technology, October 2021 www.aerodefensetech.com 13 Intro Cov ToC + - A µ Èhttp://www.aerodefensetech.com http://info.hotims.com/79418-967