Matches in SemOpenAlex for { <https://semopenalex.org/work/W152251507> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W152251507 endingPage "666" @default.
- W152251507 startingPage "659" @default.
- W152251507 abstract "UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. However, there are some aspects that UML does not fully discuss. For example, UML has no mechanism to prevent the specification, for semantic reasons, of undesirable relationships. With the fast evolution of the requirements of our nowadays applications we cannot simply rely on omitting what we do not want to happen. We explicitly have to specify unwanted concepts. We are referring to the concept of mutually excluding classes. Moreover, the lack of formalisation compromises the precision of the specification of the concepts. By using formal description techniques, such as Object-Z, we can reason about the requirements and identify ambiguities and inconsistencies earlier in the development process. Particularly, the formal specification can be used through the software evolution. In general, we can say that formalising helps obtaining a more reliable system. Our aim is to specify precisely mutually excluding classes." @default.
- W152251507 created "2016-06-24" @default.
- W152251507 creator A5002631628 @default.
- W152251507 creator A5053162019 @default.
- W152251507 date "2001-01-01" @default.
- W152251507 modified "2023-09-24" @default.
- W152251507 title "Handling Mutual Exclusion in UML Class Diagrams." @default.
- W152251507 cites W1499953177 @default.
- W152251507 cites W1506862076 @default.
- W152251507 cites W1518566442 @default.
- W152251507 cites W1564637213 @default.
- W152251507 cites W1586929881 @default.
- W152251507 cites W181692423 @default.
- W152251507 cites W1923262203 @default.
- W152251507 cites W1998017916 @default.
- W152251507 cites W2070619058 @default.
- W152251507 cites W2144973245 @default.
- W152251507 cites W2149185259 @default.
- W152251507 cites W2159765281 @default.
- W152251507 cites W2422272475 @default.
- W152251507 cites W74571819 @default.
- W152251507 cites W80695334 @default.
- W152251507 hasPublicationYear "2001" @default.
- W152251507 type Work @default.
- W152251507 sameAs 152251507 @default.
- W152251507 citedByCount "0" @default.
- W152251507 crossrefType "proceedings-article" @default.
- W152251507 hasAuthorship W152251507A5002631628 @default.
- W152251507 hasAuthorship W152251507A5053162019 @default.
- W152251507 hasConcept C115903868 @default.
- W152251507 hasConcept C116253237 @default.
- W152251507 hasConcept C133264317 @default.
- W152251507 hasConcept C145644426 @default.
- W152251507 hasConcept C146939238 @default.
- W152251507 hasConcept C154945302 @default.
- W152251507 hasConcept C199360897 @default.
- W152251507 hasConcept C202446494 @default.
- W152251507 hasConcept C2777212361 @default.
- W152251507 hasConcept C2777904410 @default.
- W152251507 hasConcept C41008148 @default.
- W152251507 hasConcept C41298492 @default.
- W152251507 hasConcept C75606506 @default.
- W152251507 hasConcept C80444323 @default.
- W152251507 hasConceptScore W152251507C115903868 @default.
- W152251507 hasConceptScore W152251507C116253237 @default.
- W152251507 hasConceptScore W152251507C133264317 @default.
- W152251507 hasConceptScore W152251507C145644426 @default.
- W152251507 hasConceptScore W152251507C146939238 @default.
- W152251507 hasConceptScore W152251507C154945302 @default.
- W152251507 hasConceptScore W152251507C199360897 @default.
- W152251507 hasConceptScore W152251507C202446494 @default.
- W152251507 hasConceptScore W152251507C2777212361 @default.
- W152251507 hasConceptScore W152251507C2777904410 @default.
- W152251507 hasConceptScore W152251507C41008148 @default.
- W152251507 hasConceptScore W152251507C41298492 @default.
- W152251507 hasConceptScore W152251507C75606506 @default.
- W152251507 hasConceptScore W152251507C80444323 @default.
- W152251507 hasLocation W1522515071 @default.
- W152251507 hasOpenAccess W152251507 @default.
- W152251507 hasPrimaryLocation W1522515071 @default.
- W152251507 hasRelatedWork W1551156974 @default.
- W152251507 hasRelatedWork W1563884653 @default.
- W152251507 hasRelatedWork W1567716559 @default.
- W152251507 hasRelatedWork W1595858173 @default.
- W152251507 hasRelatedWork W1617816168 @default.
- W152251507 hasRelatedWork W188830890 @default.
- W152251507 hasRelatedWork W2037673372 @default.
- W152251507 hasRelatedWork W2291955792 @default.
- W152251507 hasRelatedWork W23386099 @default.
- W152251507 hasRelatedWork W2394760531 @default.
- W152251507 hasRelatedWork W2403060820 @default.
- W152251507 hasRelatedWork W240414383 @default.
- W152251507 hasRelatedWork W2407679999 @default.
- W152251507 hasRelatedWork W2547157394 @default.
- W152251507 hasRelatedWork W2930651717 @default.
- W152251507 hasRelatedWork W2936994810 @default.
- W152251507 hasRelatedWork W3091390234 @default.
- W152251507 hasRelatedWork W3101352210 @default.
- W152251507 hasRelatedWork W939510602 @default.
- W152251507 isParatext "false" @default.
- W152251507 isRetracted "false" @default.
- W152251507 magId "152251507" @default.
- W152251507 workType "article" @default.