scientific article; zbMATH DE number 2080620

MaRDI QIDQ4473492zbMATH OpenFDO

Authors Joerg Evermann, Yair Wand

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2224/22240354.htm

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1947738
• Formal concepts for an integrated internal model of the UML
• On the semantics of unified modeling language diagrams using Z notation
• scientific article; zbMATH DE number 2006499
• Formal Methods for the Design of Real-Time Systems

Cited in

(6)

• Combining UML and ontology: an exploratory survey
• scientific article; zbMATH DE number 1693554 (Why is no real title available?)
• Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures
• scientific article; zbMATH DE number 1947738 (Why is no real title available?)
• A semantics-preserving approach for extracting OWL ontologies from UML class diagrams
• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473492)