Matches in SemOpenAlex for { <https://semopenalex.org/work/W185949327> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W185949327 abstract "The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tools to develop abstract models, refine them in more concrete models and finally turn them into code. A major remaining weakness in the development chain is the gap between textual or semi-formal requirements and formal models. In this paper, we explore how to cope with this problem using a goal-oriented approach to elaborate a pertinent model, including regulation modelling, and turn it into a high quality abstract formal specification." @default.
- W185949327 created "2016-06-24" @default.
- W185949327 creator A5023805135 @default.
- W185949327 creator A5025787987 @default.
- W185949327 date "2006-01-01" @default.
- W185949327 modified "2023-09-27" @default.
- W185949327 title "From Requirements Models to Formal Specifications in B." @default.
- W185949327 cites W1559870885 @default.
- W185949327 cites W1689834700 @default.
- W185949327 cites W2053712734 @default.
- W185949327 cites W2151451947 @default.
- W185949327 hasPublicationYear "2006" @default.
- W185949327 type Work @default.
- W185949327 sameAs 185949327 @default.
- W185949327 citedByCount "19" @default.
- W185949327 countsByYear W1859493272012 @default.
- W185949327 countsByYear W1859493272014 @default.
- W185949327 countsByYear W1859493272015 @default.
- W185949327 countsByYear W1859493272016 @default.
- W185949327 countsByYear W1859493272017 @default.
- W185949327 countsByYear W1859493272020 @default.
- W185949327 countsByYear W1859493272021 @default.
- W185949327 crossrefType "journal-article" @default.
- W185949327 hasAuthorship W185949327A5023805135 @default.
- W185949327 hasAuthorship W185949327A5025787987 @default.
- W185949327 hasConcept C106436119 @default.
- W185949327 hasConcept C112930515 @default.
- W185949327 hasConcept C115903868 @default.
- W185949327 hasConcept C116253237 @default.
- W185949327 hasConcept C127413603 @default.
- W185949327 hasConcept C14331664 @default.
- W185949327 hasConcept C144133560 @default.
- W185949327 hasConcept C199360897 @default.
- W185949327 hasConcept C21547014 @default.
- W185949327 hasConcept C2778618615 @default.
- W185949327 hasConcept C41008148 @default.
- W185949327 hasConcept C75606506 @default.
- W185949327 hasConcept C84651959 @default.
- W185949327 hasConcept C98045186 @default.
- W185949327 hasConceptScore W185949327C106436119 @default.
- W185949327 hasConceptScore W185949327C112930515 @default.
- W185949327 hasConceptScore W185949327C115903868 @default.
- W185949327 hasConceptScore W185949327C116253237 @default.
- W185949327 hasConceptScore W185949327C127413603 @default.
- W185949327 hasConceptScore W185949327C14331664 @default.
- W185949327 hasConceptScore W185949327C144133560 @default.
- W185949327 hasConceptScore W185949327C199360897 @default.
- W185949327 hasConceptScore W185949327C21547014 @default.
- W185949327 hasConceptScore W185949327C2778618615 @default.
- W185949327 hasConceptScore W185949327C41008148 @default.
- W185949327 hasConceptScore W185949327C75606506 @default.
- W185949327 hasConceptScore W185949327C84651959 @default.
- W185949327 hasConceptScore W185949327C98045186 @default.
- W185949327 hasLocation W1859493271 @default.
- W185949327 hasOpenAccess W185949327 @default.
- W185949327 hasPrimaryLocation W1859493271 @default.
- W185949327 hasRelatedWork W105685694 @default.
- W185949327 hasRelatedWork W1544621933 @default.
- W185949327 hasRelatedWork W1554863622 @default.
- W185949327 hasRelatedWork W1556900989 @default.
- W185949327 hasRelatedWork W1558655062 @default.
- W185949327 hasRelatedWork W1559870885 @default.
- W185949327 hasRelatedWork W1582439588 @default.
- W185949327 hasRelatedWork W1956579087 @default.
- W185949327 hasRelatedWork W1985804037 @default.
- W185949327 hasRelatedWork W2094513748 @default.
- W185949327 hasRelatedWork W2096803479 @default.
- W185949327 hasRelatedWork W2110085773 @default.
- W185949327 hasRelatedWork W2118926712 @default.
- W185949327 hasRelatedWork W2122401294 @default.
- W185949327 hasRelatedWork W2125373133 @default.
- W185949327 hasRelatedWork W2129289644 @default.
- W185949327 hasRelatedWork W2133394866 @default.
- W185949327 hasRelatedWork W2142065829 @default.
- W185949327 hasRelatedWork W2157437711 @default.
- W185949327 hasRelatedWork W2607268704 @default.
- W185949327 isParatext "false" @default.
- W185949327 isRetracted "false" @default.
- W185949327 magId "185949327" @default.
- W185949327 workType "article" @default.