Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501031081> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1501031081 abstract "We document the results of a small research project whose aim is to support the object-oriented development lifecycle with the use of a formal method. By means of case studies, we have produced a structural mapping from Object-Z to C++ which is intended to be an aid to creative programming. The mapping is justified in the context of an object model constructed for the purpose. The approach shows promise both in the context of the languages chosen and in the context of other languages and has generated considerable interest within our organisation." @default.
- W1501031081 created "2016-06-24" @default.
- W1501031081 creator A5014218220 @default.
- W1501031081 creator A5025520249 @default.
- W1501031081 date "1993-01-01" @default.
- W1501031081 modified "2023-09-24" @default.
- W1501031081 title "From Object-Z to C++: A Structural Mapping" @default.
- W1501031081 cites W1520649334 @default.
- W1501031081 cites W1570542700 @default.
- W1501031081 cites W161884743 @default.
- W1501031081 cites W2104452490 @default.
- W1501031081 cites W2111928140 @default.
- W1501031081 cites W2161825580 @default.
- W1501031081 cites W2394503932 @default.
- W1501031081 cites W3172349748 @default.
- W1501031081 cites W84944478 @default.
- W1501031081 doi "https://doi.org/10.1007/978-1-4471-3556-2_12" @default.
- W1501031081 hasPublicationYear "1993" @default.
- W1501031081 type Work @default.
- W1501031081 sameAs 1501031081 @default.
- W1501031081 citedByCount "15" @default.
- W1501031081 countsByYear W15010310812015 @default.
- W1501031081 crossrefType "book-chapter" @default.
- W1501031081 hasAuthorship W1501031081A5014218220 @default.
- W1501031081 hasAuthorship W1501031081A5025520249 @default.
- W1501031081 hasConcept C154945302 @default.
- W1501031081 hasConcept C166957645 @default.
- W1501031081 hasConcept C199360897 @default.
- W1501031081 hasConcept C205649164 @default.
- W1501031081 hasConcept C2779343474 @default.
- W1501031081 hasConcept C2781238097 @default.
- W1501031081 hasConcept C41008148 @default.
- W1501031081 hasConceptScore W1501031081C154945302 @default.
- W1501031081 hasConceptScore W1501031081C166957645 @default.
- W1501031081 hasConceptScore W1501031081C199360897 @default.
- W1501031081 hasConceptScore W1501031081C205649164 @default.
- W1501031081 hasConceptScore W1501031081C2779343474 @default.
- W1501031081 hasConceptScore W1501031081C2781238097 @default.
- W1501031081 hasConceptScore W1501031081C41008148 @default.
- W1501031081 hasLocation W15010310811 @default.
- W1501031081 hasOpenAccess W1501031081 @default.
- W1501031081 hasPrimaryLocation W15010310811 @default.
- W1501031081 hasRelatedWork W1564637213 @default.
- W1501031081 hasRelatedWork W1594293915 @default.
- W1501031081 hasRelatedWork W1783571898 @default.
- W1501031081 hasRelatedWork W1828651577 @default.
- W1501031081 hasRelatedWork W2004442217 @default.
- W1501031081 hasRelatedWork W2119456551 @default.
- W1501031081 hasRelatedWork W2123410865 @default.
- W1501031081 hasRelatedWork W2353494745 @default.
- W1501031081 hasRelatedWork W2365489350 @default.
- W1501031081 hasRelatedWork W2381755129 @default.
- W1501031081 hasRelatedWork W2404699193 @default.
- W1501031081 hasRelatedWork W2404783579 @default.
- W1501031081 hasRelatedWork W2484692733 @default.
- W1501031081 hasRelatedWork W2504243507 @default.
- W1501031081 hasRelatedWork W2794199381 @default.
- W1501031081 hasRelatedWork W2894637107 @default.
- W1501031081 hasRelatedWork W2951388557 @default.
- W1501031081 hasRelatedWork W2975421264 @default.
- W1501031081 hasRelatedWork W2987803397 @default.
- W1501031081 hasRelatedWork W252181299 @default.
- W1501031081 isParatext "false" @default.
- W1501031081 isRetracted "false" @default.
- W1501031081 magId "1501031081" @default.
- W1501031081 workType "book-chapter" @default.