hig.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
VDM++ Formalization of UML Class Diagram
Guizhou University.
University of Gävle, Faculty of Engineering and Sustainable Development, Department of Industrial Development, IT and Land Management. University of Gävle, Center for Logistics and Innovative Production. (Industriell ekonomi)
Guizhou University.
Guizhou University.
2012 (Chinese)In: Weidianzixue yu jisuanji [Microelectronics & Computer], ISSN 1000-7180, Vol. 29, no 6, 104-107 p.Article in journal (Other academic) Published
Abstract [en]

The purpose of this paper is to use the most widely used formal language-VDM + + that has characteristics of accuracy and consistent in describing syntax and semantic of the system model, combined with VDMTOOLS and Rational Rose tool to transform the various elements of the UML class model into representation of VI)M+ +. This method achieves the various elements contained UML class model about the syntax and semantics checking, and further improves the quality of UML modeling.

Place, publisher, year, edition, pages
2012. Vol. 29, no 6, 104-107 p.
National Category
Reliability and Maintenance
Identifiers
URN: urn:nbn:se:hig:diva-15385OAI: oai:DiVA.org:hig-15385DiVA: diva2:650554
Available from: 2013-09-23 Created: 2013-09-23 Last updated: 2013-10-21Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Zhao, Ming
By organisation
Department of Industrial Development, IT and Land ManagementCenter for Logistics and Innovative Production
Reliability and Maintenance

Search outside of DiVA

GoogleGoogle Scholar

Total: 259 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf