Matches in SemOpenAlex for { <https://semopenalex.org/work/W2271786029> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2271786029 abstract "This paper discusses the (often hidden) potential of Open Source Software development to resort to, benet from and cross-fertilize formal engineering methods, whose role is indisputable in the production of trustworthy software components. A strategy addressing the incorporation of formal verication methods in the Open Source Software lifecycle, in a somewhat less conventional way | that of assisting the re-engineering process of running code | is proposed." @default.
- W2271786029 created "2016-06-24" @default.
- W2271786029 creator A5062334330 @default.
- W2271786029 creator A5065767004 @default.
- W2271786029 creator A5090854917 @default.
- W2271786029 date "2011-01-01" @default.
- W2271786029 modified "2023-09-26" @default.
- W2271786029 title "Towards rigorous analysis of open source software" @default.
- W2271786029 cites W1595108726 @default.
- W2271786029 cites W1680889589 @default.
- W2271786029 cites W1981994545 @default.
- W2271786029 cites W1984043968 @default.
- W2271786029 cites W2028806953 @default.
- W2271786029 cites W2034801134 @default.
- W2271786029 cites W2036069814 @default.
- W2271786029 cites W2045374134 @default.
- W2271786029 cites W2061188283 @default.
- W2271786029 cites W2096055595 @default.
- W2271786029 cites W2099395913 @default.
- W2271786029 cites W2107294940 @default.
- W2271786029 cites W2109445786 @default.
- W2271786029 cites W2111107104 @default.
- W2271786029 cites W2147956392 @default.
- W2271786029 cites W2202341549 @default.
- W2271786029 cites W2258626499 @default.
- W2271786029 hasPublicationYear "2011" @default.
- W2271786029 type Work @default.
- W2271786029 sameAs 2271786029 @default.
- W2271786029 citedByCount "0" @default.
- W2271786029 crossrefType "journal-article" @default.
- W2271786029 hasAuthorship W2271786029A5062334330 @default.
- W2271786029 hasAuthorship W2271786029A5065767004 @default.
- W2271786029 hasAuthorship W2271786029A5090854917 @default.
- W2271786029 hasConcept C115903868 @default.
- W2271786029 hasConcept C123551368 @default.
- W2271786029 hasConcept C180152950 @default.
- W2271786029 hasConcept C182500959 @default.
- W2271786029 hasConcept C186846655 @default.
- W2271786029 hasConcept C199360897 @default.
- W2271786029 hasConcept C2777904410 @default.
- W2271786029 hasConcept C2988343187 @default.
- W2271786029 hasConcept C3018397939 @default.
- W2271786029 hasConcept C41008148 @default.
- W2271786029 hasConcept C43126263 @default.
- W2271786029 hasConcept C529173508 @default.
- W2271786029 hasConcept C75606506 @default.
- W2271786029 hasConcept C98045186 @default.
- W2271786029 hasConceptScore W2271786029C115903868 @default.
- W2271786029 hasConceptScore W2271786029C123551368 @default.
- W2271786029 hasConceptScore W2271786029C180152950 @default.
- W2271786029 hasConceptScore W2271786029C182500959 @default.
- W2271786029 hasConceptScore W2271786029C186846655 @default.
- W2271786029 hasConceptScore W2271786029C199360897 @default.
- W2271786029 hasConceptScore W2271786029C2777904410 @default.
- W2271786029 hasConceptScore W2271786029C2988343187 @default.
- W2271786029 hasConceptScore W2271786029C3018397939 @default.
- W2271786029 hasConceptScore W2271786029C41008148 @default.
- W2271786029 hasConceptScore W2271786029C43126263 @default.
- W2271786029 hasConceptScore W2271786029C529173508 @default.
- W2271786029 hasConceptScore W2271786029C75606506 @default.
- W2271786029 hasConceptScore W2271786029C98045186 @default.
- W2271786029 hasLocation W22717860291 @default.
- W2271786029 hasOpenAccess W2271786029 @default.
- W2271786029 hasPrimaryLocation W22717860291 @default.
- W2271786029 hasRelatedWork W132253366 @default.
- W2271786029 hasRelatedWork W137780 @default.
- W2271786029 hasRelatedWork W146122600 @default.
- W2271786029 hasRelatedWork W177472682 @default.
- W2271786029 hasRelatedWork W2051315303 @default.
- W2271786029 hasRelatedWork W2055912344 @default.
- W2271786029 hasRelatedWork W2141612894 @default.
- W2271786029 hasRelatedWork W2185038246 @default.
- W2271786029 hasRelatedWork W2311480026 @default.
- W2271786029 hasRelatedWork W2343251505 @default.
- W2271786029 hasRelatedWork W2395415541 @default.
- W2271786029 hasRelatedWork W2512266839 @default.
- W2271786029 hasRelatedWork W2512341330 @default.
- W2271786029 hasRelatedWork W2532184606 @default.
- W2271786029 hasRelatedWork W2562660387 @default.
- W2271786029 hasRelatedWork W934914856 @default.
- W2271786029 hasRelatedWork W193338031 @default.
- W2271786029 hasRelatedWork W2185771913 @default.
- W2271786029 hasRelatedWork W2293756030 @default.
- W2271786029 hasRelatedWork W2344618670 @default.
- W2271786029 isParatext "false" @default.
- W2271786029 isRetracted "false" @default.
- W2271786029 magId "2271786029" @default.
- W2271786029 workType "article" @default.