Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129406654> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2129406654 endingPage "50" @default.
- W2129406654 startingPage "49" @default.
- W2129406654 abstract "We present an extension of the development method Fusion/ UML that translates the results of analysis and design into the formal specification language Object-Z. The extended process establishes a consistency relationship between analysis and design. Furthermore, a formal specification for the implementation is produced." @default.
- W2129406654 created "2016-06-24" @default.
- W2129406654 creator A5076614920 @default.
- W2129406654 creator A5086739687 @default.
- W2129406654 date "2003-06-24" @default.
- W2129406654 modified "2023-09-30" @default.
- W2129406654 title "Translating Fusion/UML to Object-Z" @default.
- W2129406654 cites W1537432317 @default.
- W2129406654 cites W1548986960 @default.
- W2129406654 cites W1564637213 @default.
- W2129406654 doi "https://doi.org/10.5555/823453.823829" @default.
- W2129406654 hasPublicationYear "2003" @default.
- W2129406654 type Work @default.
- W2129406654 sameAs 2129406654 @default.
- W2129406654 citedByCount "8" @default.
- W2129406654 countsByYear W21294066542014 @default.
- W2129406654 countsByYear W21294066542016 @default.
- W2129406654 countsByYear W21294066542019 @default.
- W2129406654 crossrefType "proceedings-article" @default.
- W2129406654 hasAuthorship W2129406654A5076614920 @default.
- W2129406654 hasAuthorship W2129406654A5086739687 @default.
- W2129406654 hasConcept C111498074 @default.
- W2129406654 hasConcept C115903868 @default.
- W2129406654 hasConcept C116253237 @default.
- W2129406654 hasConcept C133264317 @default.
- W2129406654 hasConcept C145644426 @default.
- W2129406654 hasConcept C146939238 @default.
- W2129406654 hasConcept C154945302 @default.
- W2129406654 hasConcept C184667871 @default.
- W2129406654 hasConcept C199360897 @default.
- W2129406654 hasConcept C201677973 @default.
- W2129406654 hasConcept C2776436953 @default.
- W2129406654 hasConcept C2777904410 @default.
- W2129406654 hasConcept C41008148 @default.
- W2129406654 hasConcept C41298492 @default.
- W2129406654 hasConcept C75606506 @default.
- W2129406654 hasConceptScore W2129406654C111498074 @default.
- W2129406654 hasConceptScore W2129406654C115903868 @default.
- W2129406654 hasConceptScore W2129406654C116253237 @default.
- W2129406654 hasConceptScore W2129406654C133264317 @default.
- W2129406654 hasConceptScore W2129406654C145644426 @default.
- W2129406654 hasConceptScore W2129406654C146939238 @default.
- W2129406654 hasConceptScore W2129406654C154945302 @default.
- W2129406654 hasConceptScore W2129406654C184667871 @default.
- W2129406654 hasConceptScore W2129406654C199360897 @default.
- W2129406654 hasConceptScore W2129406654C201677973 @default.
- W2129406654 hasConceptScore W2129406654C2776436953 @default.
- W2129406654 hasConceptScore W2129406654C2777904410 @default.
- W2129406654 hasConceptScore W2129406654C41008148 @default.
- W2129406654 hasConceptScore W2129406654C41298492 @default.
- W2129406654 hasConceptScore W2129406654C75606506 @default.
- W2129406654 hasLocation W21294066541 @default.
- W2129406654 hasOpenAccess W2129406654 @default.
- W2129406654 hasPrimaryLocation W21294066541 @default.
- W2129406654 hasRelatedWork W1490229466 @default.
- W2129406654 hasRelatedWork W1511488284 @default.
- W2129406654 hasRelatedWork W1609884974 @default.
- W2129406654 hasRelatedWork W1828651577 @default.
- W2129406654 hasRelatedWork W1896523510 @default.
- W2129406654 hasRelatedWork W1974780906 @default.
- W2129406654 hasRelatedWork W2009890037 @default.
- W2129406654 hasRelatedWork W2015061581 @default.
- W2129406654 hasRelatedWork W2020544977 @default.
- W2129406654 hasRelatedWork W2060902370 @default.
- W2129406654 hasRelatedWork W2100294651 @default.
- W2129406654 hasRelatedWork W2100586923 @default.
- W2129406654 hasRelatedWork W2108876834 @default.
- W2129406654 hasRelatedWork W2114000297 @default.
- W2129406654 hasRelatedWork W2122066455 @default.
- W2129406654 hasRelatedWork W2138695473 @default.
- W2129406654 hasRelatedWork W2140225592 @default.
- W2129406654 hasRelatedWork W2169850948 @default.
- W2129406654 hasRelatedWork W2171020888 @default.
- W2129406654 hasRelatedWork W53783642 @default.
- W2129406654 isParatext "false" @default.
- W2129406654 isRetracted "false" @default.
- W2129406654 magId "2129406654" @default.
- W2129406654 workType "article" @default.