Matches in SemOpenAlex for { <https://semopenalex.org/work/W122553524> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W122553524 abstract "Within the computer science community, it is a well-known fact that the cost to correct an error in a computer system increases dramatically as the system life cycle progresses. The cost of correcting an error increases by orders of magnitude as the system moves from the development stages of analysis and design, to become most expensive during the maintenance and operation phase. Formal specification and prototyping help to eliminate many of these errors in the very early stages of a project before any production-level code has been written." @default.
- W122553524 created "2016-06-24" @default.
- W122553524 creator A5007724721 @default.
- W122553524 date "1994-01-01" @default.
- W122553524 modified "2023-09-27" @default.
- W122553524 title "Animation of Object-Z Specifications with a Set-Oriented Prototyping Language" @default.
- W122553524 cites W1982448885 @default.
- W122553524 cites W1999496619 @default.
- W122553524 cites W2038371182 @default.
- W122553524 cites W2052603522 @default.
- W122553524 cites W2096536569 @default.
- W122553524 cites W2113315242 @default.
- W122553524 cites W2128314433 @default.
- W122553524 cites W2142545871 @default.
- W122553524 cites W2157577995 @default.
- W122553524 cites W2478970674 @default.
- W122553524 cites W4234822591 @default.
- W122553524 doi "https://doi.org/10.1007/978-1-4471-3452-7_20" @default.
- W122553524 hasPublicationYear "1994" @default.
- W122553524 type Work @default.
- W122553524 sameAs 122553524 @default.
- W122553524 citedByCount "10" @default.
- W122553524 countsByYear W1225535242014 @default.
- W122553524 crossrefType "book-chapter" @default.
- W122553524 hasAuthorship W122553524A5007724721 @default.
- W122553524 hasConcept C115903868 @default.
- W122553524 hasConcept C116253237 @default.
- W122553524 hasConcept C127413603 @default.
- W122553524 hasConcept C177264268 @default.
- W122553524 hasConcept C199360897 @default.
- W122553524 hasConcept C201677973 @default.
- W122553524 hasConcept C2780395129 @default.
- W122553524 hasConcept C41008148 @default.
- W122553524 hasConcept C78519656 @default.
- W122553524 hasConceptScore W122553524C115903868 @default.
- W122553524 hasConceptScore W122553524C116253237 @default.
- W122553524 hasConceptScore W122553524C127413603 @default.
- W122553524 hasConceptScore W122553524C177264268 @default.
- W122553524 hasConceptScore W122553524C199360897 @default.
- W122553524 hasConceptScore W122553524C201677973 @default.
- W122553524 hasConceptScore W122553524C2780395129 @default.
- W122553524 hasConceptScore W122553524C41008148 @default.
- W122553524 hasConceptScore W122553524C78519656 @default.
- W122553524 hasLocation W1225535241 @default.
- W122553524 hasOpenAccess W122553524 @default.
- W122553524 hasPrimaryLocation W1225535241 @default.
- W122553524 hasRelatedWork W110994617 @default.
- W122553524 hasRelatedWork W1514725941 @default.
- W122553524 hasRelatedWork W1524712559 @default.
- W122553524 hasRelatedWork W1545230025 @default.
- W122553524 hasRelatedWork W1991647924 @default.
- W122553524 hasRelatedWork W2015883583 @default.
- W122553524 hasRelatedWork W2107497316 @default.
- W122553524 hasRelatedWork W2116168128 @default.
- W122553524 hasRelatedWork W2136066426 @default.
- W122553524 hasRelatedWork W2142545871 @default.
- W122553524 hasRelatedWork W2144973245 @default.
- W122553524 hasRelatedWork W2152859090 @default.
- W122553524 hasRelatedWork W2154196314 @default.
- W122553524 hasRelatedWork W2165926059 @default.
- W122553524 hasRelatedWork W2384259217 @default.
- W122553524 hasRelatedWork W2484118411 @default.
- W122553524 hasRelatedWork W2742803890 @default.
- W122553524 hasRelatedWork W2901575532 @default.
- W122553524 hasRelatedWork W296652172 @default.
- W122553524 hasRelatedWork W333853 @default.
- W122553524 isParatext "false" @default.
- W122553524 isRetracted "false" @default.
- W122553524 magId "122553524" @default.
- W122553524 workType "book-chapter" @default.