Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890899805> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2890899805 abstract "Model Driven Development (MDD) is a software development methodology that allows us to use the models instead of code. In later stages, these software models can be transformed into code. UML/OCL class diagram is a very common model, which is used for transformation. It is very essential to verify UML/OCL class diagram before transformation. There is a support to verify UML/OCL class diagram up to certain extent, i.e. small class diagrams are easily verifiable. However, the problem exists in the verification of complex UML/OCL class diagrams. In this paper, we use slicing technique to break the model into several submodels, so it can be verified independently. Once the verification is done, it would also be a possible that one or more submodel is unsatisfiable. Furthermore, we also present a feedback technique in this paper that detects and traces a violating property." @default.
- W2890899805 created "2018-09-27" @default.
- W2890899805 creator A5006400926 @default.
- W2890899805 creator A5007857046 @default.
- W2890899805 creator A5019372025 @default.
- W2890899805 creator A5045638767 @default.
- W2890899805 date "2018-04-01" @default.
- W2890899805 modified "2023-09-24" @default.
- W2890899805 title "A Technique for Detection of Violating Property among UML/OCL Class Diagram" @default.
- W2890899805 doi "https://doi.org/10.1109/imtic.2018.8467240" @default.
- W2890899805 hasPublicationYear "2018" @default.
- W2890899805 type Work @default.
- W2890899805 sameAs 2890899805 @default.
- W2890899805 citedByCount "0" @default.
- W2890899805 crossrefType "proceedings-article" @default.
- W2890899805 hasAuthorship W2890899805A5006400926 @default.
- W2890899805 hasAuthorship W2890899805A5007857046 @default.
- W2890899805 hasAuthorship W2890899805A5019372025 @default.
- W2890899805 hasAuthorship W2890899805A5045638767 @default.
- W2890899805 hasConcept C111472728 @default.
- W2890899805 hasConcept C133264317 @default.
- W2890899805 hasConcept C138885662 @default.
- W2890899805 hasConcept C145644426 @default.
- W2890899805 hasConcept C146939238 @default.
- W2890899805 hasConcept C154945302 @default.
- W2890899805 hasConcept C189950617 @default.
- W2890899805 hasConcept C199360897 @default.
- W2890899805 hasConcept C202446494 @default.
- W2890899805 hasConcept C2777212361 @default.
- W2890899805 hasConcept C2777904410 @default.
- W2890899805 hasConcept C41008148 @default.
- W2890899805 hasConcept C41298492 @default.
- W2890899805 hasConcept C48419115 @default.
- W2890899805 hasConceptScore W2890899805C111472728 @default.
- W2890899805 hasConceptScore W2890899805C133264317 @default.
- W2890899805 hasConceptScore W2890899805C138885662 @default.
- W2890899805 hasConceptScore W2890899805C145644426 @default.
- W2890899805 hasConceptScore W2890899805C146939238 @default.
- W2890899805 hasConceptScore W2890899805C154945302 @default.
- W2890899805 hasConceptScore W2890899805C189950617 @default.
- W2890899805 hasConceptScore W2890899805C199360897 @default.
- W2890899805 hasConceptScore W2890899805C202446494 @default.
- W2890899805 hasConceptScore W2890899805C2777212361 @default.
- W2890899805 hasConceptScore W2890899805C2777904410 @default.
- W2890899805 hasConceptScore W2890899805C41008148 @default.
- W2890899805 hasConceptScore W2890899805C41298492 @default.
- W2890899805 hasConceptScore W2890899805C48419115 @default.
- W2890899805 hasLocation W28908998051 @default.
- W2890899805 hasOpenAccess W2890899805 @default.
- W2890899805 hasPrimaryLocation W28908998051 @default.
- W2890899805 hasRelatedWork W1496264863 @default.
- W2890899805 hasRelatedWork W1585248586 @default.
- W2890899805 hasRelatedWork W170836139 @default.
- W2890899805 hasRelatedWork W2027346590 @default.
- W2890899805 hasRelatedWork W2028294782 @default.
- W2890899805 hasRelatedWork W2037832816 @default.
- W2890899805 hasRelatedWork W2041716394 @default.
- W2890899805 hasRelatedWork W2066998406 @default.
- W2890899805 hasRelatedWork W2089381631 @default.
- W2890899805 hasRelatedWork W2119284483 @default.
- W2890899805 hasRelatedWork W2145486615 @default.
- W2890899805 hasRelatedWork W2406059451 @default.
- W2890899805 hasRelatedWork W2406605934 @default.
- W2890899805 hasRelatedWork W28331999 @default.
- W2890899805 hasRelatedWork W2884409923 @default.
- W2890899805 hasRelatedWork W2891366467 @default.
- W2890899805 hasRelatedWork W3127389877 @default.
- W2890899805 hasRelatedWork W37720666 @default.
- W2890899805 hasRelatedWork W39487940 @default.
- W2890899805 hasRelatedWork W992348267 @default.
- W2890899805 isParatext "false" @default.
- W2890899805 isRetracted "false" @default.
- W2890899805 magId "2890899805" @default.
- W2890899805 workType "article" @default.