To add to this, another one that seems to be missing is a software CAD tool, where certain simple algorithms that you have to write can be automated based on so

To add to this, another one that seems to be missing is a software CAD tool, where certain simple algorithms that you have to write can be automated based on some constraints (which itself can be turned then be into tests/proofs).