hig.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
VDM++ Formalization of UML Class Diagram
Guizhou University.
Högskolan i Gävle, Akademin för teknik och miljö, Avdelningen för Industriell utveckling, IT och Samhällsbyggnad, Industriell ekonomi. Högskolan i Gävle, Centrum för logistik och innovativ produktion. (Industriell ekonomi)
Guizhou University.
Guizhou University.
2012 (kinesisk)Inngår i: Weidianzixue yu jisuanji [Microelectronics & Computer], ISSN 1000-7180, Vol. 29, nr 6, s. 104-107Artikkel i tidsskrift (Annet vitenskapelig) 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.

sted, utgiver, år, opplag, sider
2012. Vol. 29, nr 6, s. 104-107
HSV kategori
Identifikatorer
URN: urn:nbn:se:hig:diva-15385OAI: oai:DiVA.org:hig-15385DiVA, id: diva2:650554
Tilgjengelig fra: 2013-09-23 Laget: 2013-09-23 Sist oppdatert: 2018-03-13bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Zhao, Ming

Søk i DiVA

Av forfatter/redaktør
Zhao, Ming
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 420 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard-cite-them-right
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • sv-SE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • de-DE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf