FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W38844990> ?p ?o ?g. }

• W38844990 abstract "Large software systems are best specified using a multi-paradigm approach. Depending on which aspects of a system one wants to model, some logic formalisms are better suited than others. The theory of institutions and (co)morphisms between institutions provides a general framework for describing logical systems and their connections. This is the foundation of multi-modelling languages allowing one to deal with heterogeneous specifications in a consistent way. To make Object-Z accessible as part of such a multi-modelling language, we define the institution OZS for Object-Z. We have chosen Object-Z in part because it is a prominent software modelling language and in part because it allows us to study the formalisation of object-oriented concepts, like object identity, object state, dynamic behaviour, polymorphic sorts and inheritance." @default.
• W38844990 created "2016-06-24" @default.
• W38844990 creator A5020163177 @default.
• W38844990 creator A5042410764 @default.
• W38844990 creator A5056244393 @default.
• W38844990 creator A5061912641 @default.
• W38844990 date "2015-01-01" @default.
• W38844990 modified "2023-09-26" @default.
• W38844990 title "An Institution for Object-Z with Inheritance and Polymorphism" @default.
• W38844990 cites W1496607686 @default.
• W38844990 cites W1503248228 @default.
• W38844990 cites W1540505340 @default.
• W38844990 cites W1564637213 @default.
• W38844990 cites W1626513099 @default.
• W38844990 cites W1678943029 @default.
• W38844990 cites W1794018144 @default.
• W38844990 cites W1871900403 @default.
• W38844990 cites W2010883554 @default.
• W38844990 cites W2029176884 @default.
• W38844990 cites W2132371811 @default.
• W38844990 cites W2171454375 @default.
• W38844990 cites W3142742432 @default.
• W38844990 cites W4251387667 @default.
• W38844990 cites W4300128858 @default.
• W38844990 cites W4300668781 @default.
• W38844990 cites W2044183441 @default.
• W38844990 doi "https://doi.org/10.1007/978-3-319-15545-6_11" @default.
• W38844990 hasPublicationYear "2015" @default.
• W38844990 type Work @default.
• W38844990 sameAs 38844990 @default.
• W38844990 citedByCount "1" @default.
• W38844990 countsByYear W388449902017 @default.
• W38844990 crossrefType "book-chapter" @default.
• W38844990 hasAuthorship W38844990A5020163177 @default.
• W38844990 hasAuthorship W38844990A5042410764 @default.
• W38844990 hasAuthorship W38844990A5056244393 @default.
• W38844990 hasAuthorship W38844990A5061912641 @default.
• W38844990 hasConcept C104317684 @default.
• W38844990 hasConcept C118615104 @default.
• W38844990 hasConcept C137212723 @default.
• W38844990 hasConcept C149091818 @default.
• W38844990 hasConcept C154945302 @default.
• W38844990 hasConcept C171018156 @default.
• W38844990 hasConcept C17744445 @default.
• W38844990 hasConcept C185592680 @default.
• W38844990 hasConcept C186846655 @default.
• W38844990 hasConcept C199360897 @default.
• W38844990 hasConcept C199539241 @default.
• W38844990 hasConcept C202105479 @default.
• W38844990 hasConcept C2524010 @default.
• W38844990 hasConcept C2777904410 @default.
• W38844990 hasConcept C2780510313 @default.
• W38844990 hasConcept C2780902518 @default.
• W38844990 hasConcept C2781238097 @default.
• W38844990 hasConcept C33923547 @default.
• W38844990 hasConcept C41008148 @default.
• W38844990 hasConcept C55493867 @default.
• W38844990 hasConcept C73752529 @default.
• W38844990 hasConcept C80444323 @default.
• W38844990 hasConceptScore W38844990C104317684 @default.
• W38844990 hasConceptScore W38844990C118615104 @default.
• W38844990 hasConceptScore W38844990C137212723 @default.
• W38844990 hasConceptScore W38844990C149091818 @default.
• W38844990 hasConceptScore W38844990C154945302 @default.
• W38844990 hasConceptScore W38844990C171018156 @default.
• W38844990 hasConceptScore W38844990C17744445 @default.
• W38844990 hasConceptScore W38844990C185592680 @default.
• W38844990 hasConceptScore W38844990C186846655 @default.
• W38844990 hasConceptScore W38844990C199360897 @default.
• W38844990 hasConceptScore W38844990C199539241 @default.
• W38844990 hasConceptScore W38844990C202105479 @default.
• W38844990 hasConceptScore W38844990C2524010 @default.
• W38844990 hasConceptScore W38844990C2777904410 @default.
• W38844990 hasConceptScore W38844990C2780510313 @default.
• W38844990 hasConceptScore W38844990C2780902518 @default.
• W38844990 hasConceptScore W38844990C2781238097 @default.
• W38844990 hasConceptScore W38844990C33923547 @default.
• W38844990 hasConceptScore W38844990C41008148 @default.
• W38844990 hasConceptScore W38844990C55493867 @default.
• W38844990 hasConceptScore W38844990C73752529 @default.
• W38844990 hasConceptScore W38844990C80444323 @default.
• W38844990 hasLocation W388449901 @default.
• W38844990 hasOpenAccess W38844990 @default.
• W38844990 hasPrimaryLocation W388449901 @default.
• W38844990 hasRelatedWork W1496631421 @default.
• W38844990 hasRelatedWork W1525401825 @default.
• W38844990 hasRelatedWork W1531723926 @default.
• W38844990 hasRelatedWork W1544764256 @default.
• W38844990 hasRelatedWork W1569208917 @default.
• W38844990 hasRelatedWork W1597998418 @default.
• W38844990 hasRelatedWork W1617384822 @default.
• W38844990 hasRelatedWork W1835978553 @default.
• W38844990 hasRelatedWork W1868137048 @default.
• W38844990 hasRelatedWork W2056743054 @default.
• W38844990 hasRelatedWork W2180313053 @default.
• W38844990 hasRelatedWork W2213909905 @default.
• W38844990 hasRelatedWork W2286360274 @default.
• W38844990 hasRelatedWork W2346615211 @default.
• W38844990 hasRelatedWork W2483047752 @default.
• W38844990 hasRelatedWork W2485459746 @default.

• next