Authoring with UML/SysML

Translating selected features of UML/SysML to SpecIF and further on to OWL/RDF.


Table of contents