FRINK Linked Data Fragments server

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

• W2033014924 endingPage "638" @default.
• W2033014924 startingPage "620" @default.
• W2033014924 abstract "Formal methods offer an effective means to assert the correctness of software systems through mathematical reasoning. However, the need to formulate system properties in a purely mathematical fashion can create pragmatic barriers to the application of these techniques. For this reason, Dwyer et al. invented property specification patterns which is a system of recurring solutions to deal with the temporal intricacies that would make the construction of reactive systems very hard otherwise. Today, property specification patterns provide general rules that help practitioners to qualify order and occurrence, to quantify time bounds, and to express probabilities of events. Nevertheless, a comprehensive framework combining qualitative, real-time, and probabilistic property specification patterns has remained elusive. The benefits of such a framework are twofold. First, it would remove the distinction between qualitative and quantitative aspects of events; and second, it would provide a structure to systematically discover new property specification patterns. In this paper, we report on such a framework and present a unified catalogue that combines all known plus 40 newly identified or extended patterns. We also offer a natural language front-end to map patterns to a temporal logic of choice. To demonstrate the virtue of this new framework, we applied it to a variety of industrial requirements, and use PSPWizard, a tool specifically developed to work with our unified pattern catalogue, to automatically render concrete instances of property specification patterns to formulae of an underlying temporal logic of choice." @default.
• W2033014924 created "2016-06-24" @default.
• W2033014924 creator A5008647250 @default.
• W2033014924 creator A5011312561 @default.
• W2033014924 creator A5013103539 @default.
• W2033014924 creator A5035597558 @default.
• W2033014924 creator A5057114302 @default.
• W2033014924 date "2015-07-01" @default.
• W2033014924 modified "2023-10-05" @default.
• W2033014924 title "Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar" @default.
• W2033014924 cites W1498125516 @default.
• W2033014924 cites W1862398452 @default.
• W2033014924 cites W1889347445 @default.
• W2033014924 cites W1976080895 @default.
• W2033014924 cites W2025323318 @default.
• W2033014924 cites W2026629052 @default.
• W2033014924 cites W2032533778 @default.
• W2033014924 cites W2032602169 @default.
• W2033014924 cites W2034478670 @default.
• W2033014924 cites W2046234016 @default.
• W2033014924 cites W2049696538 @default.
• W2033014924 cites W2065754558 @default.
• W2033014924 cites W2069486211 @default.
• W2033014924 cites W2113435553 @default.
• W2033014924 cites W2124000414 @default.
• W2033014924 cites W2139188286 @default.
• W2033014924 cites W2145660755 @default.
• W2033014924 cites W2152863619 @default.
• W2033014924 cites W2159543898 @default.
• W2033014924 cites W2161660684 @default.
• W2033014924 cites W2168913088 @default.
• W2033014924 cites W2168915271 @default.
• W2033014924 cites W2169673105 @default.
• W2033014924 cites W2395167098 @default.
• W2033014924 cites W3102805872 @default.
• W2033014924 cites W3139793816 @default.
• W2033014924 cites W4246195644 @default.
• W2033014924 doi "https://doi.org/10.1109/tse.2015.2398877" @default.
• W2033014924 hasPublicationYear "2015" @default.
• W2033014924 type Work @default.
• W2033014924 sameAs 2033014924 @default.
• W2033014924 citedByCount "95" @default.
• W2033014924 countsByYear W20330149242015 @default.
• W2033014924 countsByYear W20330149242016 @default.
• W2033014924 countsByYear W20330149242017 @default.
• W2033014924 countsByYear W20330149242018 @default.
• W2033014924 countsByYear W20330149242019 @default.
• W2033014924 countsByYear W20330149242020 @default.
• W2033014924 countsByYear W20330149242021 @default.
• W2033014924 countsByYear W20330149242022 @default.
• W2033014924 countsByYear W20330149242023 @default.
• W2033014924 crossrefType "journal-article" @default.
• W2033014924 hasAuthorship W2033014924A5008647250 @default.
• W2033014924 hasAuthorship W2033014924A5011312561 @default.
• W2033014924 hasAuthorship W2033014924A5013103539 @default.
• W2033014924 hasAuthorship W2033014924A5035597558 @default.
• W2033014924 hasAuthorship W2033014924A5057114302 @default.
• W2033014924 hasConcept C111472728 @default.
• W2033014924 hasConcept C116253237 @default.
• W2033014924 hasConcept C138885662 @default.
• W2033014924 hasConcept C154945302 @default.
• W2033014924 hasConcept C189950617 @default.
• W2033014924 hasConcept C195324797 @default.
• W2033014924 hasConcept C199360897 @default.
• W2033014924 hasConcept C201677973 @default.
• W2033014924 hasConcept C25016198 @default.
• W2033014924 hasConcept C41008148 @default.
• W2033014924 hasConcept C49937458 @default.
• W2033014924 hasConcept C55439883 @default.
• W2033014924 hasConcept C80444323 @default.
• W2033014924 hasConceptScore W2033014924C111472728 @default.
• W2033014924 hasConceptScore W2033014924C116253237 @default.
• W2033014924 hasConceptScore W2033014924C138885662 @default.
• W2033014924 hasConceptScore W2033014924C154945302 @default.
• W2033014924 hasConceptScore W2033014924C189950617 @default.
• W2033014924 hasConceptScore W2033014924C195324797 @default.
• W2033014924 hasConceptScore W2033014924C199360897 @default.
• W2033014924 hasConceptScore W2033014924C201677973 @default.
• W2033014924 hasConceptScore W2033014924C25016198 @default.
• W2033014924 hasConceptScore W2033014924C41008148 @default.
• W2033014924 hasConceptScore W2033014924C49937458 @default.
• W2033014924 hasConceptScore W2033014924C55439883 @default.
• W2033014924 hasConceptScore W2033014924C80444323 @default.
• W2033014924 hasFunder F4320308022 @default.
• W2033014924 hasFunder F4320320300 @default.
• W2033014924 hasFunder F4320338111 @default.
• W2033014924 hasIssue "7" @default.
• W2033014924 hasLocation W20330149241 @default.
• W2033014924 hasOpenAccess W2033014924 @default.
• W2033014924 hasPrimaryLocation W20330149241 @default.
• W2033014924 hasRelatedWork W1977144985 @default.
• W2033014924 hasRelatedWork W1977419146 @default.
• W2033014924 hasRelatedWork W1984757784 @default.
• W2033014924 hasRelatedWork W2043588306 @default.
• W2033014924 hasRelatedWork W2066381570 @default.
• W2033014924 hasRelatedWork W2103922184 @default.
• W2033014924 hasRelatedWork W2154069078 @default.
• W2033014924 hasRelatedWork W3036969520 @default.

• next