Develop a transformation from XMI as exported from Cameo (MagicDraw) to SpecIF. The lack of semantic precision in UML/SysML resp. Cameo and the wide range of possibilities to express an idea are particularly challenging. With all likelihood, a restriction to certain patterns is necessary.
Develop a transformation from XMI as exported from Cameo (MagicDraw) to SpecIF. The lack of semantic precision in UML/SysML resp. Cameo and the wide range of possibilities to express an idea are particularly challenging. With all likelihood, a restriction to certain patterns is necessary.
Estimated effort: 80 pd.