Matches in SemOpenAlex for { <https://semopenalex.org/work/W2983005900> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2983005900 endingPage "171764" @default.
- W2983005900 startingPage "171752" @default.
- W2983005900 abstract "One of the many different purposes of software architecture descriptions is contributing to an early analysis of the architecture with respect to quality attributes. The critical nature of many software systems calls for formal approaches aiming at precisely verifying if their designed architectures can meet important properties such as consistency, completeness, and correctness. In this context, it is worthwhile investigating the role of architecture descriptions to support the formal verification of software architectures to ensure their quality, as well as how such a process happens and is supported by existing languages and verification tools. To evaluate the research landscape on this subject, we have carried out a systematic mapping study in which we collected and analyzed studies available at the literature on formal verification of architecture descriptions. This work contributes with (i) a structured overview and taxonomy of the current state of the art on this topic and (ii) the elicitation of important issues to be addressed in future research." @default.
- W2983005900 created "2019-11-22" @default.
- W2983005900 creator A5026726377 @default.
- W2983005900 creator A5035557943 @default.
- W2983005900 creator A5056656236 @default.
- W2983005900 creator A5058585144 @default.
- W2983005900 creator A5080777193 @default.
- W2983005900 date "2019-01-01" @default.
- W2983005900 modified "2023-09-24" @default.
- W2983005900 title "A Research Landscape on Formal Verification of Software Architecture Descriptions" @default.
- W2983005900 cites W1481933832 @default.
- W2983005900 cites W1550602558 @default.
- W2983005900 cites W1581604070 @default.
- W2983005900 cites W1596711598 @default.
- W2983005900 cites W1631091010 @default.
- W2983005900 cites W1975675278 @default.
- W2983005900 cites W2015280671 @default.
- W2983005900 cites W2072668705 @default.
- W2983005900 cites W2089014520 @default.
- W2983005900 cites W2126230853 @default.
- W2983005900 cites W2167675743 @default.
- W2983005900 cites W2345401972 @default.
- W2983005900 cites W2555835184 @default.
- W2983005900 cites W2574271863 @default.
- W2983005900 cites W2768908343 @default.
- W2983005900 cites W2783395867 @default.
- W2983005900 cites W2783456114 @default.
- W2983005900 cites W2902212434 @default.
- W2983005900 doi "https://doi.org/10.1109/access.2019.2953858" @default.
- W2983005900 hasPublicationYear "2019" @default.
- W2983005900 type Work @default.
- W2983005900 sameAs 2983005900 @default.
- W2983005900 citedByCount "5" @default.
- W2983005900 countsByYear W29830059002020 @default.
- W2983005900 countsByYear W29830059002021 @default.
- W2983005900 countsByYear W29830059002022 @default.
- W2983005900 countsByYear W29830059002023 @default.
- W2983005900 crossrefType "journal-article" @default.
- W2983005900 hasAuthorship W2983005900A5026726377 @default.
- W2983005900 hasAuthorship W2983005900A5035557943 @default.
- W2983005900 hasAuthorship W2983005900A5056656236 @default.
- W2983005900 hasAuthorship W2983005900A5058585144 @default.
- W2983005900 hasAuthorship W2983005900A5080777193 @default.
- W2983005900 hasBestOaLocation W29830059001 @default.
- W2983005900 hasConcept C111498074 @default.
- W2983005900 hasConcept C115903868 @default.
- W2983005900 hasConcept C199360897 @default.
- W2983005900 hasConcept C2777904410 @default.
- W2983005900 hasConcept C35869016 @default.
- W2983005900 hasConcept C41008148 @default.
- W2983005900 hasConcept C55356503 @default.
- W2983005900 hasConcept C55439883 @default.
- W2983005900 hasConcept C73219336 @default.
- W2983005900 hasConcept C75606506 @default.
- W2983005900 hasConceptScore W2983005900C111498074 @default.
- W2983005900 hasConceptScore W2983005900C115903868 @default.
- W2983005900 hasConceptScore W2983005900C199360897 @default.
- W2983005900 hasConceptScore W2983005900C2777904410 @default.
- W2983005900 hasConceptScore W2983005900C35869016 @default.
- W2983005900 hasConceptScore W2983005900C41008148 @default.
- W2983005900 hasConceptScore W2983005900C55356503 @default.
- W2983005900 hasConceptScore W2983005900C55439883 @default.
- W2983005900 hasConceptScore W2983005900C73219336 @default.
- W2983005900 hasConceptScore W2983005900C75606506 @default.
- W2983005900 hasFunder F4320321091 @default.
- W2983005900 hasFunder F4320322025 @default.
- W2983005900 hasFunder F4320323678 @default.
- W2983005900 hasLocation W29830059001 @default.
- W2983005900 hasLocation W29830059002 @default.
- W2983005900 hasLocation W29830059003 @default.
- W2983005900 hasLocation W29830059004 @default.
- W2983005900 hasLocation W29830059005 @default.
- W2983005900 hasOpenAccess W2983005900 @default.
- W2983005900 hasPrimaryLocation W29830059001 @default.
- W2983005900 hasRelatedWork W1576419426 @default.
- W2983005900 hasRelatedWork W2077326157 @default.
- W2983005900 hasRelatedWork W2163512324 @default.
- W2983005900 hasRelatedWork W2352245193 @default.
- W2983005900 hasRelatedWork W2397799507 @default.
- W2983005900 hasRelatedWork W2811234396 @default.
- W2983005900 hasRelatedWork W2885807479 @default.
- W2983005900 hasRelatedWork W2954464958 @default.
- W2983005900 hasRelatedWork W3091728393 @default.
- W2983005900 hasRelatedWork W93372525 @default.
- W2983005900 hasVolume "7" @default.
- W2983005900 isParatext "false" @default.
- W2983005900 isRetracted "false" @default.
- W2983005900 magId "2983005900" @default.
- W2983005900 workType "article" @default.