Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092488655> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2092488655 endingPage "429" @default.
- W2092488655 startingPage "411" @default.
- W2092488655 abstract "In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a threein-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diagrams, as well as the rules that govern how these elements can be connected, are specified." @default.
- W2092488655 created "2016-06-24" @default.
- W2092488655 creator A5081644906 @default.
- W2092488655 date "2012-01-01" @default.
- W2092488655 modified "2023-09-27" @default.
- W2092488655 title "Using lightweight formal methods to model class and object diagrams" @default.
- W2092488655 cites W1508005281 @default.
- W2092488655 cites W1524763139 @default.
- W2092488655 cites W1596101456 @default.
- W2092488655 cites W1601957077 @default.
- W2092488655 cites W1602650507 @default.
- W2092488655 cites W1626513099 @default.
- W2092488655 cites W168126392 @default.
- W2092488655 cites W175551733 @default.
- W2092488655 cites W1817859439 @default.
- W2092488655 cites W1895387792 @default.
- W2092488655 cites W1923262203 @default.
- W2092488655 cites W1928896584 @default.
- W2092488655 cites W1977901513 @default.
- W2092488655 cites W1998017916 @default.
- W2092488655 cites W1998400029 @default.
- W2092488655 cites W2000117114 @default.
- W2092488655 cites W2003090438 @default.
- W2092488655 cites W2107155927 @default.
- W2092488655 cites W2119284483 @default.
- W2092488655 cites W2131538533 @default.
- W2092488655 cites W2140527460 @default.
- W2092488655 cites W2142346010 @default.
- W2092488655 cites W2155102375 @default.
- W2092488655 cites W2159765281 @default.
- W2092488655 cites W2182935951 @default.
- W2092488655 cites W2224417275 @default.
- W2092488655 cites W2615300779 @default.
- W2092488655 cites W76241139 @default.
- W2092488655 cites W83226528 @default.
- W2092488655 cites W8871596 @default.
- W2092488655 cites W2573377245 @default.
- W2092488655 cites W3022614819 @default.
- W2092488655 doi "https://doi.org/10.2298/csis110210045v" @default.
- W2092488655 hasPublicationYear "2012" @default.
- W2092488655 type Work @default.
- W2092488655 sameAs 2092488655 @default.
- W2092488655 citedByCount "3" @default.
- W2092488655 countsByYear W20924886552015 @default.
- W2092488655 countsByYear W20924886552017 @default.
- W2092488655 countsByYear W20924886552018 @default.
- W2092488655 crossrefType "journal-article" @default.
- W2092488655 hasAuthorship W2092488655A5081644906 @default.
- W2092488655 hasBestOaLocation W20924886551 @default.
- W2092488655 hasConcept C115903868 @default.
- W2092488655 hasConcept C145644426 @default.
- W2092488655 hasConcept C154945302 @default.
- W2092488655 hasConcept C199360897 @default.
- W2092488655 hasConcept C202446494 @default.
- W2092488655 hasConcept C20894473 @default.
- W2092488655 hasConcept C2777212361 @default.
- W2092488655 hasConcept C2777904410 @default.
- W2092488655 hasConcept C2781238097 @default.
- W2092488655 hasConcept C41008148 @default.
- W2092488655 hasConcept C73752529 @default.
- W2092488655 hasConcept C75606506 @default.
- W2092488655 hasConcept C80444323 @default.
- W2092488655 hasConceptScore W2092488655C115903868 @default.
- W2092488655 hasConceptScore W2092488655C145644426 @default.
- W2092488655 hasConceptScore W2092488655C154945302 @default.
- W2092488655 hasConceptScore W2092488655C199360897 @default.
- W2092488655 hasConceptScore W2092488655C202446494 @default.
- W2092488655 hasConceptScore W2092488655C20894473 @default.
- W2092488655 hasConceptScore W2092488655C2777212361 @default.
- W2092488655 hasConceptScore W2092488655C2777904410 @default.
- W2092488655 hasConceptScore W2092488655C2781238097 @default.
- W2092488655 hasConceptScore W2092488655C41008148 @default.
- W2092488655 hasConceptScore W2092488655C73752529 @default.
- W2092488655 hasConceptScore W2092488655C75606506 @default.
- W2092488655 hasConceptScore W2092488655C80444323 @default.
- W2092488655 hasIssue "1" @default.
- W2092488655 hasLocation W20924886551 @default.
- W2092488655 hasOpenAccess W2092488655 @default.
- W2092488655 hasPrimaryLocation W20924886551 @default.
- W2092488655 hasRelatedWork W1510078815 @default.
- W2092488655 hasRelatedWork W2149906442 @default.
- W2092488655 hasRelatedWork W2155849432 @default.
- W2092488655 hasRelatedWork W2384267374 @default.
- W2092488655 hasRelatedWork W2385744953 @default.
- W2092488655 hasRelatedWork W2407139891 @default.
- W2092488655 hasRelatedWork W2890872911 @default.
- W2092488655 hasRelatedWork W3016740592 @default.
- W2092488655 hasRelatedWork W621544819 @default.
- W2092488655 hasRelatedWork W940661043 @default.
- W2092488655 hasVolume "9" @default.
- W2092488655 isParatext "false" @default.
- W2092488655 isRetracted "false" @default.
- W2092488655 magId "2092488655" @default.
- W2092488655 workType "article" @default.