Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551424885> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1551424885 abstract "This paper presents a framework for developing Z specifications in an object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The framework also records the history of operator application enabling “classes” to be identified and, hence, the possibility of modular verification and refinement." @default.
- W1551424885 created "2016-06-24" @default.
- W1551424885 creator A5006104972 @default.
- W1551424885 date "1994-01-01" @default.
- W1551424885 modified "2023-09-27" @default.
- W1551424885 title "An Object-Oriented Development Framework for Z" @default.
- W1551424885 cites W1527638070 @default.
- W1551424885 cites W1607111517 @default.
- W1551424885 doi "https://doi.org/10.1007/978-1-4471-3452-7_6" @default.
- W1551424885 hasPublicationYear "1994" @default.
- W1551424885 type Work @default.
- W1551424885 sameAs 1551424885 @default.
- W1551424885 citedByCount "7" @default.
- W1551424885 crossrefType "book-chapter" @default.
- W1551424885 hasAuthorship W1551424885A5006104972 @default.
- W1551424885 hasConcept C101468663 @default.
- W1551424885 hasConcept C115903868 @default.
- W1551424885 hasConcept C134306372 @default.
- W1551424885 hasConcept C154945302 @default.
- W1551424885 hasConcept C199360897 @default.
- W1551424885 hasConcept C2776542497 @default.
- W1551424885 hasConcept C2781238097 @default.
- W1551424885 hasConcept C33923547 @default.
- W1551424885 hasConcept C41008148 @default.
- W1551424885 hasConcept C73752529 @default.
- W1551424885 hasConceptScore W1551424885C101468663 @default.
- W1551424885 hasConceptScore W1551424885C115903868 @default.
- W1551424885 hasConceptScore W1551424885C134306372 @default.
- W1551424885 hasConceptScore W1551424885C154945302 @default.
- W1551424885 hasConceptScore W1551424885C199360897 @default.
- W1551424885 hasConceptScore W1551424885C2776542497 @default.
- W1551424885 hasConceptScore W1551424885C2781238097 @default.
- W1551424885 hasConceptScore W1551424885C33923547 @default.
- W1551424885 hasConceptScore W1551424885C41008148 @default.
- W1551424885 hasConceptScore W1551424885C73752529 @default.
- W1551424885 hasLocation W15514248851 @default.
- W1551424885 hasOpenAccess W1551424885 @default.
- W1551424885 hasPrimaryLocation W15514248851 @default.
- W1551424885 hasRelatedWork W138716222 @default.
- W1551424885 hasRelatedWork W1525380727 @default.
- W1551424885 hasRelatedWork W1543583590 @default.
- W1551424885 hasRelatedWork W1564932073 @default.
- W1551424885 hasRelatedWork W1570542700 @default.
- W1551424885 hasRelatedWork W1571129532 @default.
- W1551424885 hasRelatedWork W1574019160 @default.
- W1551424885 hasRelatedWork W1584992184 @default.
- W1551424885 hasRelatedWork W1586113925 @default.
- W1551424885 hasRelatedWork W1975773930 @default.
- W1551424885 hasRelatedWork W2099082412 @default.
- W1551424885 hasRelatedWork W2105065069 @default.
- W1551424885 hasRelatedWork W2171331735 @default.
- W1551424885 hasRelatedWork W2355860971 @default.
- W1551424885 hasRelatedWork W2379432358 @default.
- W1551424885 hasRelatedWork W2389460109 @default.
- W1551424885 hasRelatedWork W2390955480 @default.
- W1551424885 hasRelatedWork W2612563863 @default.
- W1551424885 hasRelatedWork W3179711425 @default.
- W1551424885 hasRelatedWork W70231993 @default.
- W1551424885 isParatext "false" @default.
- W1551424885 isRetracted "false" @default.
- W1551424885 magId "1551424885" @default.
- W1551424885 workType "book-chapter" @default.