Matches in SemOpenAlex for { <https://semopenalex.org/work/W2379674920> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2379674920 abstract "Unified Modeling Language is a generic graphical modeling language of object-oriented technique.However,the lack of precise formal semantics makes it difficult to analyze the models they describe.In this aspect,formal methods can be used complementarily.OOZS is an object-oriented formal specification language which is an extension to Z.In this paper we discuss formally the Class Diagram with OOZS language,which provides formal basis for UML,and explores a kind of mechanism for how to map and combine it between UML and OOZS.In the end,an example is given to explain how to combine UML and OOZS to describe the Class Diagram,and to illustrate the feasibility of this study in practice." @default.
- W2379674920 created "2016-06-24" @default.
- W2379674920 creator A5075627078 @default.
- W2379674920 date "2013-01-01" @default.
- W2379674920 modified "2023-09-24" @default.
- W2379674920 title "Formal Specification and Application of UML Class Diagram Based on OOZS" @default.
- W2379674920 hasPublicationYear "2013" @default.
- W2379674920 type Work @default.
- W2379674920 sameAs 2379674920 @default.
- W2379674920 citedByCount "0" @default.
- W2379674920 crossrefType "journal-article" @default.
- W2379674920 hasAuthorship W2379674920A5075627078 @default.
- W2379674920 hasConcept C116253237 @default.
- W2379674920 hasConcept C133264317 @default.
- W2379674920 hasConcept C145644426 @default.
- W2379674920 hasConcept C146499914 @default.
- W2379674920 hasConcept C146939238 @default.
- W2379674920 hasConcept C154945302 @default.
- W2379674920 hasConcept C16671368 @default.
- W2379674920 hasConcept C167822520 @default.
- W2379674920 hasConcept C184337299 @default.
- W2379674920 hasConcept C185954173 @default.
- W2379674920 hasConcept C195324797 @default.
- W2379674920 hasConcept C199360897 @default.
- W2379674920 hasConcept C202446494 @default.
- W2379674920 hasConcept C204321447 @default.
- W2379674920 hasConcept C21285288 @default.
- W2379674920 hasConcept C2777212361 @default.
- W2379674920 hasConcept C2777904410 @default.
- W2379674920 hasConcept C41008148 @default.
- W2379674920 hasConcept C41298492 @default.
- W2379674920 hasConcept C48419115 @default.
- W2379674920 hasConcept C64219723 @default.
- W2379674920 hasConcept C75606506 @default.
- W2379674920 hasConceptScore W2379674920C116253237 @default.
- W2379674920 hasConceptScore W2379674920C133264317 @default.
- W2379674920 hasConceptScore W2379674920C145644426 @default.
- W2379674920 hasConceptScore W2379674920C146499914 @default.
- W2379674920 hasConceptScore W2379674920C146939238 @default.
- W2379674920 hasConceptScore W2379674920C154945302 @default.
- W2379674920 hasConceptScore W2379674920C16671368 @default.
- W2379674920 hasConceptScore W2379674920C167822520 @default.
- W2379674920 hasConceptScore W2379674920C184337299 @default.
- W2379674920 hasConceptScore W2379674920C185954173 @default.
- W2379674920 hasConceptScore W2379674920C195324797 @default.
- W2379674920 hasConceptScore W2379674920C199360897 @default.
- W2379674920 hasConceptScore W2379674920C202446494 @default.
- W2379674920 hasConceptScore W2379674920C204321447 @default.
- W2379674920 hasConceptScore W2379674920C21285288 @default.
- W2379674920 hasConceptScore W2379674920C2777212361 @default.
- W2379674920 hasConceptScore W2379674920C2777904410 @default.
- W2379674920 hasConceptScore W2379674920C41008148 @default.
- W2379674920 hasConceptScore W2379674920C41298492 @default.
- W2379674920 hasConceptScore W2379674920C48419115 @default.
- W2379674920 hasConceptScore W2379674920C64219723 @default.
- W2379674920 hasConceptScore W2379674920C75606506 @default.
- W2379674920 hasLocation W23796749201 @default.
- W2379674920 hasOpenAccess W2379674920 @default.
- W2379674920 hasPrimaryLocation W23796749201 @default.
- W2379674920 hasRelatedWork W1510078815 @default.
- W2379674920 hasRelatedWork W1551156974 @default.
- W2379674920 hasRelatedWork W1626513099 @default.
- W2379674920 hasRelatedWork W1891110222 @default.
- W2379674920 hasRelatedWork W1923262203 @default.
- W2379674920 hasRelatedWork W2028340709 @default.
- W2379674920 hasRelatedWork W2053712734 @default.
- W2379674920 hasRelatedWork W2076043313 @default.
- W2379674920 hasRelatedWork W2108589711 @default.
- W2379674920 hasRelatedWork W2112144052 @default.
- W2379674920 hasRelatedWork W2112520815 @default.
- W2379674920 hasRelatedWork W2147962485 @default.
- W2379674920 hasRelatedWork W2291955792 @default.
- W2379674920 hasRelatedWork W2348083539 @default.
- W2379674920 hasRelatedWork W2373288135 @default.
- W2379674920 hasRelatedWork W2386186898 @default.
- W2379674920 hasRelatedWork W2535059042 @default.
- W2379674920 hasRelatedWork W2547157394 @default.
- W2379674920 hasRelatedWork W2930651717 @default.
- W2379674920 hasRelatedWork W3101352210 @default.
- W2379674920 isParatext "false" @default.
- W2379674920 isRetracted "false" @default.
- W2379674920 magId "2379674920" @default.
- W2379674920 workType "article" @default.