Hacker News new | ask | show | jobs
by junon 41 days ago
UML conversion is deterministic.
1 comments

That doesn’t matter. Once the code is generated it doesn’t change. The reviewed artifact in a safety critical codebase is the last abstraction layer before a fully certified compilation pipeline. So usually it’s not the UML but the generated code.