Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112144052> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2112144052 endingPage "1598" @default.
- W2112144052 startingPage "1594" @default.
- W2112144052 abstract "The Unified Modeling Language (UML) is based on the Model Driven Development (MDD) approach which capturing the system functionality using the platform-independent model (PMI) and appropriate domain-specific languages. In UML base system notations, structural view is model by the class, components and object diagrams and behavioral view model by the activity, use case, state, and sequence diagram. However, UML does not provide the formal syntax, therefore its semantics is not formally definable, so for assure of correctness, we need to incorporate semantic reasoning through verification, specification, refinement, and incorporate into the development process. Our motivation of research is to make an easy structural view and suggest formal technique/method which can be best applied or used for the UML based development system. We investigate the tools and methods, which broadly used for the formal verification of UML based systems." @default.
- W2112144052 created "2016-06-24" @default.
- W2112144052 creator A5040133393 @default.
- W2112144052 creator A5087560944 @default.
- W2112144052 date "2011-06-01" @default.
- W2112144052 modified "2023-09-25" @default.
- W2112144052 title "Formal Verification of UML Profil" @default.
- W2112144052 cites W141410480 @default.
- W2112144052 cites W1490212646 @default.
- W2112144052 cites W1510723842 @default.
- W2112144052 cites W1518695183 @default.
- W2112144052 cites W1522310484 @default.
- W2112144052 cites W1529212376 @default.
- W2112144052 cites W1532054750 @default.
- W2112144052 cites W1545978847 @default.
- W2112144052 cites W1626513099 @default.
- W2112144052 cites W1706728084 @default.
- W2112144052 cites W1962072139 @default.
- W2112144052 cites W1998400029 @default.
- W2112144052 cites W2005543934 @default.
- W2112144052 cites W2012776105 @default.
- W2112144052 cites W2024034783 @default.
- W2112144052 cites W2113680476 @default.
- W2112144052 cites W2116379961 @default.
- W2112144052 cites W2120926795 @default.
- W2112144052 cites W2131652767 @default.
- W2112144052 cites W2164045439 @default.
- W2112144052 cites W2978961188 @default.
- W2112144052 hasPublicationYear "2011" @default.
- W2112144052 type Work @default.
- W2112144052 sameAs 2112144052 @default.
- W2112144052 citedByCount "0" @default.
- W2112144052 crossrefType "journal-article" @default.
- W2112144052 hasAuthorship W2112144052A5040133393 @default.
- W2112144052 hasAuthorship W2112144052A5087560944 @default.
- W2112144052 hasConcept C115903868 @default.
- W2112144052 hasConcept C133264317 @default.
- W2112144052 hasConcept C145644426 @default.
- W2112144052 hasConcept C146499914 @default.
- W2112144052 hasConcept C146939238 @default.
- W2112144052 hasConcept C153185123 @default.
- W2112144052 hasConcept C199360897 @default.
- W2112144052 hasConcept C202446494 @default.
- W2112144052 hasConcept C2777904410 @default.
- W2112144052 hasConcept C41008148 @default.
- W2112144052 hasConcept C41298492 @default.
- W2112144052 hasConcept C55439883 @default.
- W2112144052 hasConceptScore W2112144052C115903868 @default.
- W2112144052 hasConceptScore W2112144052C133264317 @default.
- W2112144052 hasConceptScore W2112144052C145644426 @default.
- W2112144052 hasConceptScore W2112144052C146499914 @default.
- W2112144052 hasConceptScore W2112144052C146939238 @default.
- W2112144052 hasConceptScore W2112144052C153185123 @default.
- W2112144052 hasConceptScore W2112144052C199360897 @default.
- W2112144052 hasConceptScore W2112144052C202446494 @default.
- W2112144052 hasConceptScore W2112144052C2777904410 @default.
- W2112144052 hasConceptScore W2112144052C41008148 @default.
- W2112144052 hasConceptScore W2112144052C41298492 @default.
- W2112144052 hasConceptScore W2112144052C55439883 @default.
- W2112144052 hasIssue "6" @default.
- W2112144052 hasLocation W21121440521 @default.
- W2112144052 hasOpenAccess W2112144052 @default.
- W2112144052 hasPrimaryLocation W21121440521 @default.
- W2112144052 hasRelatedWork W1493988071 @default.
- W2112144052 hasRelatedWork W1551156974 @default.
- W2112144052 hasRelatedWork W1567716559 @default.
- W2112144052 hasRelatedWork W1617816168 @default.
- W2112144052 hasRelatedWork W1626513099 @default.
- W2112144052 hasRelatedWork W1891110222 @default.
- W2112144052 hasRelatedWork W1977943086 @default.
- W2112144052 hasRelatedWork W2005876630 @default.
- W2112144052 hasRelatedWork W2028340709 @default.
- W2112144052 hasRelatedWork W2076043313 @default.
- W2112144052 hasRelatedWork W2108589711 @default.
- W2112144052 hasRelatedWork W2145766738 @default.
- W2112144052 hasRelatedWork W2379674920 @default.
- W2112144052 hasRelatedWork W2547157394 @default.
- W2112144052 hasRelatedWork W2930651717 @default.
- W2112144052 hasRelatedWork W2980660034 @default.
- W2112144052 hasRelatedWork W3101352210 @default.
- W2112144052 hasRelatedWork W60292133 @default.
- W2112144052 hasRelatedWork W2301664437 @default.
- W2112144052 hasVolume "5" @default.
- W2112144052 isParatext "false" @default.
- W2112144052 isRetracted "false" @default.
- W2112144052 magId "2112144052" @default.
- W2112144052 workType "article" @default.