Matches in SemOpenAlex for { <https://semopenalex.org/work/W2425244199> ?p ?o ?g. }
- W2425244199 endingPage "56" @default.
- W2425244199 startingPage "1" @default.
- W2425244199 abstract "In recent years, there has been a growing need and interest in formally reasoning about the quality of software and hardware systems. As opposed to traditional verification, in which one considers the question of whether a system satisfies a given specification or not, reasoning about quality addresses the question of how well the system satisfies the specification. We distinguish between two approaches to specifying quality. The first, propositional quality , extends the specification formalism with propositional quality operators, which prioritize and weight different satisfaction possibilities. The second, temporal quality , refines the “eventually” operators of the specification formalism with discounting operators, whose semantics takes into an account the delay incurred in their satisfaction. In this article, we introduce two quantitative extensions of Linear Temporal Logic (LTL), one by propositional quality operators and one by discounting operators. In both logics, the satisfaction value of a specification is a number in [0, 1], which describes the quality of the satisfaction. We demonstrate the usefulness of both extensions and study the decidability and complexity of the decision and search problems for them as well as for extensions of LTL that combine both types of operators." @default.
- W2425244199 created "2016-06-24" @default.
- W2425244199 creator A5000415323 @default.
- W2425244199 creator A5021154671 @default.
- W2425244199 creator A5077429082 @default.
- W2425244199 date "2016-06-17" @default.
- W2425244199 modified "2023-10-16" @default.
- W2425244199 title "Formally Reasoning About Quality" @default.
- W2425244199 cites W1509254601 @default.
- W2425244199 cites W1538440743 @default.
- W2425244199 cites W1583654333 @default.
- W2425244199 cites W1589996173 @default.
- W2425244199 cites W1605697145 @default.
- W2425244199 cites W1643571618 @default.
- W2425244199 cites W1782528461 @default.
- W2425244199 cites W1786377004 @default.
- W2425244199 cites W1852279314 @default.
- W2425244199 cites W1969587526 @default.
- W2425244199 cites W1969912861 @default.
- W2425244199 cites W1988808695 @default.
- W2425244199 cites W1990609140 @default.
- W2425244199 cites W2004306067 @default.
- W2425244199 cites W2005998857 @default.
- W2425244199 cites W2015172530 @default.
- W2425244199 cites W2016206563 @default.
- W2425244199 cites W2016928625 @default.
- W2425244199 cites W2040721698 @default.
- W2425244199 cites W2050073538 @default.
- W2425244199 cites W2068422506 @default.
- W2425244199 cites W2087718129 @default.
- W2425244199 cites W2105438026 @default.
- W2425244199 cites W2109187338 @default.
- W2425244199 cites W2112347632 @default.
- W2425244199 cites W2112535338 @default.
- W2425244199 cites W2118895096 @default.
- W2425244199 cites W2119375992 @default.
- W2425244199 cites W2125422788 @default.
- W2425244199 cites W2128746993 @default.
- W2425244199 cites W2150447589 @default.
- W2425244199 cites W2160029445 @default.
- W2425244199 cites W2172290937 @default.
- W2425244199 cites W29365316 @default.
- W2425244199 cites W2999237515 @default.
- W2425244199 cites W3002839602 @default.
- W2425244199 cites W3023554972 @default.
- W2425244199 cites W4298227433 @default.
- W2425244199 cites W6462357 @default.
- W2425244199 doi "https://doi.org/10.1145/2875421" @default.
- W2425244199 hasPublicationYear "2016" @default.
- W2425244199 type Work @default.
- W2425244199 sameAs 2425244199 @default.
- W2425244199 citedByCount "30" @default.
- W2425244199 countsByYear W24252441992016 @default.
- W2425244199 countsByYear W24252441992017 @default.
- W2425244199 countsByYear W24252441992018 @default.
- W2425244199 countsByYear W24252441992019 @default.
- W2425244199 countsByYear W24252441992020 @default.
- W2425244199 countsByYear W24252441992021 @default.
- W2425244199 countsByYear W24252441992022 @default.
- W2425244199 countsByYear W24252441992023 @default.
- W2425244199 crossrefType "journal-article" @default.
- W2425244199 hasAuthorship W2425244199A5000415323 @default.
- W2425244199 hasAuthorship W2425244199A5021154671 @default.
- W2425244199 hasAuthorship W2425244199A5077429082 @default.
- W2425244199 hasConcept C10138342 @default.
- W2425244199 hasConcept C111472728 @default.
- W2425244199 hasConcept C138885662 @default.
- W2425244199 hasConcept C142362112 @default.
- W2425244199 hasConcept C153269930 @default.
- W2425244199 hasConcept C153349607 @default.
- W2425244199 hasConcept C162324750 @default.
- W2425244199 hasConcept C184337299 @default.
- W2425244199 hasConcept C199360897 @default.
- W2425244199 hasConcept C25016198 @default.
- W2425244199 hasConcept C2779530757 @default.
- W2425244199 hasConcept C41008148 @default.
- W2425244199 hasConcept C4777664 @default.
- W2425244199 hasConcept C558565934 @default.
- W2425244199 hasConcept C6177178 @default.
- W2425244199 hasConcept C73301696 @default.
- W2425244199 hasConcept C80444323 @default.
- W2425244199 hasConceptScore W2425244199C10138342 @default.
- W2425244199 hasConceptScore W2425244199C111472728 @default.
- W2425244199 hasConceptScore W2425244199C138885662 @default.
- W2425244199 hasConceptScore W2425244199C142362112 @default.
- W2425244199 hasConceptScore W2425244199C153269930 @default.
- W2425244199 hasConceptScore W2425244199C153349607 @default.
- W2425244199 hasConceptScore W2425244199C162324750 @default.
- W2425244199 hasConceptScore W2425244199C184337299 @default.
- W2425244199 hasConceptScore W2425244199C199360897 @default.
- W2425244199 hasConceptScore W2425244199C25016198 @default.
- W2425244199 hasConceptScore W2425244199C2779530757 @default.
- W2425244199 hasConceptScore W2425244199C41008148 @default.
- W2425244199 hasConceptScore W2425244199C4777664 @default.
- W2425244199 hasConceptScore W2425244199C558565934 @default.
- W2425244199 hasConceptScore W2425244199C6177178 @default.
- W2425244199 hasConceptScore W2425244199C73301696 @default.
- W2425244199 hasConceptScore W2425244199C80444323 @default.