Matches in SemOpenAlex for { <https://semopenalex.org/work/W2362953189> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2362953189 abstract "The consistency checking between UML class diagrams and sequence diagrams is studied, and a PVS-based consistency checking approach is proposed. Firstly necessary conditions for deciding consistency is given and then the meta theory with PVS specification language is presented. To check consistency of UML model, the consistency checking is converted to a problem of theorem proving. Compared with other approaches, this technique involves more comprehensive factors, such as inheritance, associative relationship as well as visibility and pre-and post-conditions of class methods. It can mechanically analyze the consistency of UML model." @default.
- W2362953189 created "2016-06-24" @default.
- W2362953189 creator A5051480539 @default.
- W2362953189 date "2004-01-01" @default.
- W2362953189 modified "2023-09-27" @default.
- W2362953189 title "PVS-based consistency checking for UML class diagrams and sequence diagrams" @default.
- W2362953189 hasPublicationYear "2004" @default.
- W2362953189 type Work @default.
- W2362953189 sameAs 2362953189 @default.
- W2362953189 citedByCount "0" @default.
- W2362953189 crossrefType "journal-article" @default.
- W2362953189 hasAuthorship W2362953189A5051480539 @default.
- W2362953189 hasConcept C110251889 @default.
- W2362953189 hasConcept C145644426 @default.
- W2362953189 hasConcept C146939238 @default.
- W2362953189 hasConcept C153185123 @default.
- W2362953189 hasConcept C154945302 @default.
- W2362953189 hasConcept C199360897 @default.
- W2362953189 hasConcept C202446494 @default.
- W2362953189 hasConcept C2776436953 @default.
- W2362953189 hasConcept C2777212361 @default.
- W2362953189 hasConcept C2777904410 @default.
- W2362953189 hasConcept C2778112365 @default.
- W2362953189 hasConcept C37279795 @default.
- W2362953189 hasConcept C41008148 @default.
- W2362953189 hasConcept C41298492 @default.
- W2362953189 hasConcept C54355233 @default.
- W2362953189 hasConcept C55439883 @default.
- W2362953189 hasConcept C80444323 @default.
- W2362953189 hasConcept C86803240 @default.
- W2362953189 hasConceptScore W2362953189C110251889 @default.
- W2362953189 hasConceptScore W2362953189C145644426 @default.
- W2362953189 hasConceptScore W2362953189C146939238 @default.
- W2362953189 hasConceptScore W2362953189C153185123 @default.
- W2362953189 hasConceptScore W2362953189C154945302 @default.
- W2362953189 hasConceptScore W2362953189C199360897 @default.
- W2362953189 hasConceptScore W2362953189C202446494 @default.
- W2362953189 hasConceptScore W2362953189C2776436953 @default.
- W2362953189 hasConceptScore W2362953189C2777212361 @default.
- W2362953189 hasConceptScore W2362953189C2777904410 @default.
- W2362953189 hasConceptScore W2362953189C2778112365 @default.
- W2362953189 hasConceptScore W2362953189C37279795 @default.
- W2362953189 hasConceptScore W2362953189C41008148 @default.
- W2362953189 hasConceptScore W2362953189C41298492 @default.
- W2362953189 hasConceptScore W2362953189C54355233 @default.
- W2362953189 hasConceptScore W2362953189C55439883 @default.
- W2362953189 hasConceptScore W2362953189C80444323 @default.
- W2362953189 hasConceptScore W2362953189C86803240 @default.
- W2362953189 hasLocation W23629531891 @default.
- W2362953189 hasOpenAccess W2362953189 @default.
- W2362953189 hasPrimaryLocation W23629531891 @default.
- W2362953189 hasRelatedWork W1497389631 @default.
- W2362953189 hasRelatedWork W2003485535 @default.
- W2362953189 hasRelatedWork W2012776105 @default.
- W2362953189 hasRelatedWork W2033249314 @default.
- W2362953189 hasRelatedWork W2080769329 @default.
- W2362953189 hasRelatedWork W2114728093 @default.
- W2362953189 hasRelatedWork W2149248191 @default.
- W2362953189 hasRelatedWork W2154872565 @default.
- W2362953189 hasRelatedWork W2209840267 @default.
- W2362953189 hasRelatedWork W2255662858 @default.
- W2362953189 hasRelatedWork W2261074833 @default.
- W2362953189 hasRelatedWork W2332466466 @default.
- W2362953189 hasRelatedWork W2354367981 @default.
- W2362953189 hasRelatedWork W2358415881 @default.
- W2362953189 hasRelatedWork W2382378389 @default.
- W2362953189 hasRelatedWork W2394452508 @default.
- W2362953189 hasRelatedWork W2613251369 @default.
- W2362953189 hasRelatedWork W44554052 @default.
- W2362953189 hasRelatedWork W2150155196 @default.
- W2362953189 hasRelatedWork W88590133 @default.
- W2362953189 isParatext "false" @default.
- W2362953189 isRetracted "false" @default.
- W2362953189 magId "2362953189" @default.
- W2362953189 workType "article" @default.