Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251566114> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4251566114 endingPage "477" @default.
- W4251566114 startingPage "472" @default.
- W4251566114 abstract "Formal specification methods are being used to improve the quality of written specifications and to eliminate errors at an early stage of software development. The detection of errors in a specification generally requires that the specification be compared against some loosely defined real-world concepts. A criterion for evaluating the quality of a model-oriented specifications is introduced and the problems associated with specifications which do not meet this criterion are explained. These problems are particularly troublesome when reusable software components are being specified or when a bottom-up implementation strategy is being used.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W4251566114 created "2022-05-12" @default.
- W4251566114 creator A5045605601 @default.
- W4251566114 date "1990-04-01" @default.
- W4251566114 modified "2023-10-01" @default.
- W4251566114 title "Unreachable states in model-oriented specifications" @default.
- W4251566114 doi "https://doi.org/10.1109/32.54300" @default.
- W4251566114 hasPublicationYear "1990" @default.
- W4251566114 type Work @default.
- W4251566114 citedByCount "0" @default.
- W4251566114 crossrefType "journal-article" @default.
- W4251566114 hasAuthorship W4251566114A5045605601 @default.
- W4251566114 hasConcept C102780508 @default.
- W4251566114 hasConcept C111472728 @default.
- W4251566114 hasConcept C115903868 @default.
- W4251566114 hasConcept C116253237 @default.
- W4251566114 hasConcept C117222624 @default.
- W4251566114 hasConcept C117447612 @default.
- W4251566114 hasConcept C119857082 @default.
- W4251566114 hasConcept C138885662 @default.
- W4251566114 hasConcept C199360897 @default.
- W4251566114 hasConcept C2777904410 @default.
- W4251566114 hasConcept C2779530757 @default.
- W4251566114 hasConcept C41008148 @default.
- W4251566114 hasConcept C52913732 @default.
- W4251566114 hasConcept C529173508 @default.
- W4251566114 hasConcept C75606506 @default.
- W4251566114 hasConceptScore W4251566114C102780508 @default.
- W4251566114 hasConceptScore W4251566114C111472728 @default.
- W4251566114 hasConceptScore W4251566114C115903868 @default.
- W4251566114 hasConceptScore W4251566114C116253237 @default.
- W4251566114 hasConceptScore W4251566114C117222624 @default.
- W4251566114 hasConceptScore W4251566114C117447612 @default.
- W4251566114 hasConceptScore W4251566114C119857082 @default.
- W4251566114 hasConceptScore W4251566114C138885662 @default.
- W4251566114 hasConceptScore W4251566114C199360897 @default.
- W4251566114 hasConceptScore W4251566114C2777904410 @default.
- W4251566114 hasConceptScore W4251566114C2779530757 @default.
- W4251566114 hasConceptScore W4251566114C41008148 @default.
- W4251566114 hasConceptScore W4251566114C52913732 @default.
- W4251566114 hasConceptScore W4251566114C529173508 @default.
- W4251566114 hasConceptScore W4251566114C75606506 @default.
- W4251566114 hasIssue "4" @default.
- W4251566114 hasLocation W42515661141 @default.
- W4251566114 hasOpenAccess W4251566114 @default.
- W4251566114 hasPrimaryLocation W42515661141 @default.
- W4251566114 hasRelatedWork W1881220596 @default.
- W4251566114 hasRelatedWork W2116177699 @default.
- W4251566114 hasRelatedWork W2116396384 @default.
- W4251566114 hasRelatedWork W2121507724 @default.
- W4251566114 hasRelatedWork W2127984352 @default.
- W4251566114 hasRelatedWork W2163537766 @default.
- W4251566114 hasRelatedWork W2217717994 @default.
- W4251566114 hasRelatedWork W2552539375 @default.
- W4251566114 hasRelatedWork W257715566 @default.
- W4251566114 hasRelatedWork W3048422056 @default.
- W4251566114 hasVolume "16" @default.
- W4251566114 isParatext "false" @default.
- W4251566114 isRetracted "false" @default.
- W4251566114 workType "article" @default.