FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2736425> ?p ?o ?g. }

• W2736425 endingPage "436" @default.
• W2736425 startingPage "430" @default.
• W2736425 abstract "Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satisfied. When validating the pattern the developer may have to deal with the pattern expressed in some particular formalism. For this reason, we identify three desirable quality attributes for the underlying specification language: succinctness, ease of validation and modifiability. We show that typical formalisms such as temporal logics or automata fail at some extent to support these features. In this work we propose FVS, a graphical scenariobased language, as a possible alternative to specify behavioral properties. We illustrate FVS’ features by describing one of the most commonly used pattern, the Response Pattern, and several variants of it. Other known patterns such as the Precedence pattern and the Constrained Chain pattern are also discussed. We also thoroughly compare FVS against other used approaches." @default.
• W2736425 created "2016-06-24" @default.
• W2736425 creator A5005812046 @default.
• W2736425 creator A5077887195 @default.
• W2736425 date "2010-01-01" @default.
• W2736425 modified "2023-09-23" @default.
• W2736425 title "Specification patterns can be formal and still easy." @default.
• W2736425 cites W1996832037 @default.
• W2736425 cites W2018118431 @default.
• W2736425 cites W2032533778 @default.
• W2736425 cites W2032602169 @default.
• W2736425 cites W2090727480 @default.
• W2736425 cites W2103146530 @default.
• W2736425 cites W2104506636 @default.
• W2736425 cites W2107286045 @default.
• W2736425 cites W2110495045 @default.
• W2736425 cites W2114633402 @default.
• W2736425 cites W2119533465 @default.
• W2736425 cites W2124000414 @default.
• W2736425 cites W2147472153 @default.
• W2736425 cites W2155010349 @default.
• W2736425 cites W2159958244 @default.
• W2736425 cites W2160668141 @default.
• W2736425 cites W2161660684 @default.
• W2736425 cites W2612211757 @default.
• W2736425 cites W70902631 @default.
• W2736425 hasPublicationYear "2010" @default.
• W2736425 type Work @default.
• W2736425 sameAs 2736425 @default.
• W2736425 citedByCount "1" @default.
• W2736425 crossrefType "proceedings-article" @default.
• W2736425 hasAuthorship W2736425A5005812046 @default.
• W2736425 hasAuthorship W2736425A5077887195 @default.
• W2736425 hasConcept C111472728 @default.
• W2736425 hasConcept C111498074 @default.
• W2736425 hasConcept C112505250 @default.
• W2736425 hasConcept C115903868 @default.
• W2736425 hasConcept C116253237 @default.
• W2736425 hasConcept C138885662 @default.
• W2736425 hasConcept C142362112 @default.
• W2736425 hasConcept C146072743 @default.
• W2736425 hasConcept C153349607 @default.
• W2736425 hasConcept C171018156 @default.
• W2736425 hasConcept C189950617 @default.
• W2736425 hasConcept C199360897 @default.
• W2736425 hasConcept C201677973 @default.
• W2736425 hasConcept C2524010 @default.
• W2736425 hasConcept C2776493592 @default.
• W2736425 hasConcept C33923547 @default.
• W2736425 hasConcept C41008148 @default.
• W2736425 hasConcept C558565934 @default.
• W2736425 hasConcept C73301696 @default.
• W2736425 hasConcept C75606506 @default.
• W2736425 hasConcept C80444323 @default.
• W2736425 hasConcept C83804111 @default.
• W2736425 hasConceptScore W2736425C111472728 @default.
• W2736425 hasConceptScore W2736425C111498074 @default.
• W2736425 hasConceptScore W2736425C112505250 @default.
• W2736425 hasConceptScore W2736425C115903868 @default.
• W2736425 hasConceptScore W2736425C116253237 @default.
• W2736425 hasConceptScore W2736425C138885662 @default.
• W2736425 hasConceptScore W2736425C142362112 @default.
• W2736425 hasConceptScore W2736425C146072743 @default.
• W2736425 hasConceptScore W2736425C153349607 @default.
• W2736425 hasConceptScore W2736425C171018156 @default.
• W2736425 hasConceptScore W2736425C189950617 @default.
• W2736425 hasConceptScore W2736425C199360897 @default.
• W2736425 hasConceptScore W2736425C201677973 @default.
• W2736425 hasConceptScore W2736425C2524010 @default.
• W2736425 hasConceptScore W2736425C2776493592 @default.
• W2736425 hasConceptScore W2736425C33923547 @default.
• W2736425 hasConceptScore W2736425C41008148 @default.
• W2736425 hasConceptScore W2736425C558565934 @default.
• W2736425 hasConceptScore W2736425C73301696 @default.
• W2736425 hasConceptScore W2736425C75606506 @default.
• W2736425 hasConceptScore W2736425C80444323 @default.
• W2736425 hasConceptScore W2736425C83804111 @default.
• W2736425 hasLocation W27364251 @default.
• W2736425 hasOpenAccess W2736425 @default.
• W2736425 hasPrimaryLocation W27364251 @default.
• W2736425 hasRelatedWork W1503319068 @default.
• W2736425 hasRelatedWork W1515129268 @default.
• W2736425 hasRelatedWork W1529806022 @default.
• W2736425 hasRelatedWork W1608485412 @default.
• W2736425 hasRelatedWork W1921633840 @default.
• W2736425 hasRelatedWork W2024253113 @default.
• W2736425 hasRelatedWork W2038143344 @default.
• W2736425 hasRelatedWork W2100793242 @default.
• W2736425 hasRelatedWork W2111242698 @default.
• W2736425 hasRelatedWork W2111830906 @default.
• W2736425 hasRelatedWork W2120011042 @default.
• W2736425 hasRelatedWork W2125373133 @default.
• W2736425 hasRelatedWork W2131276974 @default.
• W2736425 hasRelatedWork W2131921053 @default.
• W2736425 hasRelatedWork W2155028959 @default.
• W2736425 hasRelatedWork W2160119094 @default.
• W2736425 hasRelatedWork W2165240599 @default.
• W2736425 hasRelatedWork W2170486381 @default.

• next