Such capabilities would allow to automatically detect relevant formal properties of UML diagrams, such as inconsistencies or redundancies.
確定! 回上一頁