Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885469735> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2885469735 endingPage "36" @default.
- W2885469735 startingPage "21" @default.
- W2885469735 abstract "Formal systems modelling offers a rigorous system-level analysis resulting in a precise and reliable specification. However, some issues remain: Modellers need to understand the requirements in order to formulate the models, formal verification may focus on safety properties rather than temporal behaviour, domain experts need to validate the final models to ensure they fit the needs of stakeholders. In this paper we discuss how the principles of Behaviour-Driven Development (BDD) can be applied to formal systems modelling and validation. We propose a process where manually authored scenarios are used initially to support the requirements and help the modeller. The same scenarios are used to verify behavioural properties of the model. The model is then mutated to automatically generate scenarios that have a more complete coverage than the manual ones. These automatically generated scenarios are used to animate the model in a final acceptance stage. For this acceptance stage, it is important that a domain expert decides whether or not the behaviour is useful." @default.
- W2885469735 created "2018-08-22" @default.
- W2885469735 creator A5016082224 @default.
- W2885469735 creator A5018781402 @default.
- W2885469735 creator A5042805366 @default.
- W2885469735 creator A5055774047 @default.
- W2885469735 creator A5056335848 @default.
- W2885469735 creator A5059188790 @default.
- W2885469735 creator A5061652661 @default.
- W2885469735 date "2018-01-01" @default.
- W2885469735 modified "2023-09-25" @default.
- W2885469735 title "Behaviour-Driven Formal Model Development" @default.
- W2885469735 cites W1531426588 @default.
- W2885469735 cites W1666576026 @default.
- W2885469735 cites W1971486022 @default.
- W2885469735 cites W1985804037 @default.
- W2885469735 cites W1986788631 @default.
- W2885469735 cites W2031111226 @default.
- W2885469735 cites W2041971724 @default.
- W2885469735 cites W2066210260 @default.
- W2885469735 cites W2757343986 @default.
- W2885469735 cites W2801429964 @default.
- W2885469735 cites W2897290364 @default.
- W2885469735 cites W4244819751 @default.
- W2885469735 cites W4256462683 @default.
- W2885469735 cites W639481382 @default.
- W2885469735 cites W97469242 @default.
- W2885469735 doi "https://doi.org/10.1007/978-3-030-02450-5_2" @default.
- W2885469735 hasPublicationYear "2018" @default.
- W2885469735 type Work @default.
- W2885469735 sameAs 2885469735 @default.
- W2885469735 citedByCount "8" @default.
- W2885469735 countsByYear W28854697352019 @default.
- W2885469735 countsByYear W28854697352020 @default.
- W2885469735 countsByYear W28854697352021 @default.
- W2885469735 countsByYear W28854697352022 @default.
- W2885469735 countsByYear W28854697352023 @default.
- W2885469735 crossrefType "book-chapter" @default.
- W2885469735 hasAuthorship W2885469735A5016082224 @default.
- W2885469735 hasAuthorship W2885469735A5018781402 @default.
- W2885469735 hasAuthorship W2885469735A5042805366 @default.
- W2885469735 hasAuthorship W2885469735A5055774047 @default.
- W2885469735 hasAuthorship W2885469735A5056335848 @default.
- W2885469735 hasAuthorship W2885469735A5059188790 @default.
- W2885469735 hasAuthorship W2885469735A5061652661 @default.
- W2885469735 hasBestOaLocation W28854697352 @default.
- W2885469735 hasConcept C111498074 @default.
- W2885469735 hasConcept C115903868 @default.
- W2885469735 hasConcept C116253237 @default.
- W2885469735 hasConcept C127413603 @default.
- W2885469735 hasConcept C134306372 @default.
- W2885469735 hasConcept C199360897 @default.
- W2885469735 hasConcept C201995342 @default.
- W2885469735 hasConcept C207685749 @default.
- W2885469735 hasConcept C33923547 @default.
- W2885469735 hasConcept C36503486 @default.
- W2885469735 hasConcept C41008148 @default.
- W2885469735 hasConcept C75606506 @default.
- W2885469735 hasConcept C92548554 @default.
- W2885469735 hasConcept C98045186 @default.
- W2885469735 hasConceptScore W2885469735C111498074 @default.
- W2885469735 hasConceptScore W2885469735C115903868 @default.
- W2885469735 hasConceptScore W2885469735C116253237 @default.
- W2885469735 hasConceptScore W2885469735C127413603 @default.
- W2885469735 hasConceptScore W2885469735C134306372 @default.
- W2885469735 hasConceptScore W2885469735C199360897 @default.
- W2885469735 hasConceptScore W2885469735C201995342 @default.
- W2885469735 hasConceptScore W2885469735C207685749 @default.
- W2885469735 hasConceptScore W2885469735C33923547 @default.
- W2885469735 hasConceptScore W2885469735C36503486 @default.
- W2885469735 hasConceptScore W2885469735C41008148 @default.
- W2885469735 hasConceptScore W2885469735C75606506 @default.
- W2885469735 hasConceptScore W2885469735C92548554 @default.
- W2885469735 hasConceptScore W2885469735C98045186 @default.
- W2885469735 hasLocation W28854697351 @default.
- W2885469735 hasLocation W28854697352 @default.
- W2885469735 hasOpenAccess W2885469735 @default.
- W2885469735 hasPrimaryLocation W28854697351 @default.
- W2885469735 hasRelatedWork W1524361563 @default.
- W2885469735 hasRelatedWork W1614816533 @default.
- W2885469735 hasRelatedWork W1988166986 @default.
- W2885469735 hasRelatedWork W2010564228 @default.
- W2885469735 hasRelatedWork W2072282749 @default.
- W2885469735 hasRelatedWork W2072697836 @default.
- W2885469735 hasRelatedWork W2118077887 @default.
- W2885469735 hasRelatedWork W2121842278 @default.
- W2885469735 hasRelatedWork W2123440589 @default.
- W2885469735 hasRelatedWork W3048371688 @default.
- W2885469735 isParatext "false" @default.
- W2885469735 isRetracted "false" @default.
- W2885469735 magId "2885469735" @default.
- W2885469735 workType "book-chapter" @default.