3 search results - page 1 / 1 » Behaviour-Driven Development of Foundational UML Components |
ENTCS
2010
13 years 5 months ago
2010
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...