Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073522669> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2073522669 endingPage "864" @default.
- W2073522669 startingPage "860" @default.
- W2073522669 abstract "This paper summarizes the literature and presents important concepts related to conceptual model verification. Different approaches have been proposed in the literature. These approaches have been introduced as two parts with emphasis on formal techniques. First order logic for structural views and Petri nets for behavioral views are investigated in the search of a practical verification method for conceptual modeling in UML. Then a short assessment of formal verification work for UML will be presented." @default.
- W2073522669 created "2016-06-24" @default.
- W2073522669 creator A5004609826 @default.
- W2073522669 creator A5023559269 @default.
- W2073522669 date "2013-10-01" @default.
- W2073522669 modified "2023-09-23" @default.
- W2073522669 title "An Overview of VV&A Methods for Conceptual Model" @default.
- W2073522669 cites W1626513099 @default.
- W2073522669 cites W1969913838 @default.
- W2073522669 cites W2037186437 @default.
- W2073522669 cites W2131566236 @default.
- W2073522669 cites W2162605804 @default.
- W2073522669 cites W4250515272 @default.
- W2073522669 doi "https://doi.org/10.4028/www.scientific.net/amm.444-445.860" @default.
- W2073522669 hasPublicationYear "2013" @default.
- W2073522669 type Work @default.
- W2073522669 sameAs 2073522669 @default.
- W2073522669 citedByCount "0" @default.
- W2073522669 crossrefType "journal-article" @default.
- W2073522669 hasAuthorship W2073522669A5004609826 @default.
- W2073522669 hasAuthorship W2073522669A5023559269 @default.
- W2073522669 hasConcept C115903868 @default.
- W2073522669 hasConcept C127413603 @default.
- W2073522669 hasConcept C13606891 @default.
- W2073522669 hasConcept C145644426 @default.
- W2073522669 hasConcept C199360897 @default.
- W2073522669 hasConcept C201995342 @default.
- W2073522669 hasConcept C2777904410 @default.
- W2073522669 hasConcept C38677869 @default.
- W2073522669 hasConcept C41008148 @default.
- W2073522669 hasConcept C41298492 @default.
- W2073522669 hasConcept C75606506 @default.
- W2073522669 hasConcept C77088390 @default.
- W2073522669 hasConceptScore W2073522669C115903868 @default.
- W2073522669 hasConceptScore W2073522669C127413603 @default.
- W2073522669 hasConceptScore W2073522669C13606891 @default.
- W2073522669 hasConceptScore W2073522669C145644426 @default.
- W2073522669 hasConceptScore W2073522669C199360897 @default.
- W2073522669 hasConceptScore W2073522669C201995342 @default.
- W2073522669 hasConceptScore W2073522669C2777904410 @default.
- W2073522669 hasConceptScore W2073522669C38677869 @default.
- W2073522669 hasConceptScore W2073522669C41008148 @default.
- W2073522669 hasConceptScore W2073522669C41298492 @default.
- W2073522669 hasConceptScore W2073522669C75606506 @default.
- W2073522669 hasConceptScore W2073522669C77088390 @default.
- W2073522669 hasLocation W20735226691 @default.
- W2073522669 hasOpenAccess W2073522669 @default.
- W2073522669 hasPrimaryLocation W20735226691 @default.
- W2073522669 hasRelatedWork W1573653079 @default.
- W2073522669 hasRelatedWork W2012182999 @default.
- W2073522669 hasRelatedWork W2082448529 @default.
- W2073522669 hasRelatedWork W2083741083 @default.
- W2073522669 hasRelatedWork W2123419275 @default.
- W2073522669 hasRelatedWork W2131425727 @default.
- W2073522669 hasRelatedWork W2134011497 @default.
- W2073522669 hasRelatedWork W2171972063 @default.
- W2073522669 hasRelatedWork W2185928474 @default.
- W2073522669 hasRelatedWork W2308033129 @default.
- W2073522669 hasRelatedWork W2360255973 @default.
- W2073522669 hasRelatedWork W2363301601 @default.
- W2073522669 hasRelatedWork W2401885739 @default.
- W2073522669 hasRelatedWork W2418938958 @default.
- W2073522669 hasRelatedWork W2533724079 @default.
- W2073522669 hasRelatedWork W2561455091 @default.
- W2073522669 hasRelatedWork W2741031013 @default.
- W2073522669 hasRelatedWork W2756631463 @default.
- W2073522669 hasRelatedWork W2989185532 @default.
- W2073522669 hasRelatedWork W71962452 @default.
- W2073522669 hasVolume "444-445" @default.
- W2073522669 isParatext "false" @default.
- W2073522669 isRetracted "false" @default.
- W2073522669 magId "2073522669" @default.
- W2073522669 workType "article" @default.