Matches in SemOpenAlex for { <https://semopenalex.org/work/W2201001608> ?p ?o ?g. }
- W2201001608 abstract "Critical software systems face stringent requirements in safety, security, and reliability due to the circumstances surrounding their operation. Safety and security have progressively gained importance over the years due to the integration of hardware with software-intensive deployments that introduce additional sources of errors. It is, then, necessary to follow high-quality exhaustive software development processes that besides the needed development activities to increase safety and security also integrate techniques to increase the reliability of the software development process itself. In practice, the use of automated techniques for the verification of the verification process is, however, not sufficiently wide spread. This is mainly due to the high cost of the required techniques and to their degree of complexity when adjusting to the different norms and regulations. This work presents an approach for comprehensive management of the verification processes; the approach allows engineers to monitor and control the project status regarding the applicable standards. This approach has been validated through its implementation in a tool and its application to real projects." @default.
- W2201001608 created "2016-06-24" @default.
- W2201001608 creator A5009472872 @default.
- W2201001608 creator A5019258757 @default.
- W2201001608 date "2015-12-15" @default.
- W2201001608 modified "2023-09-27" @default.
- W2201001608 title "Supporting the monitoring of the verification process of critical systems'software." @default.
- W2201001608 cites W132594803 @default.
- W2201001608 cites W1503415653 @default.
- W2201001608 cites W2095152777 @default.
- W2201001608 cites W2100064951 @default.
- W2201001608 cites W2154774499 @default.
- W2201001608 cites W2157799830 @default.
- W2201001608 cites W2160286502 @default.
- W2201001608 cites W2171930636 @default.
- W2201001608 cites W2291721726 @default.
- W2201001608 hasPublicationYear "2015" @default.
- W2201001608 type Work @default.
- W2201001608 sameAs 2201001608 @default.
- W2201001608 citedByCount "0" @default.
- W2201001608 crossrefType "posted-content" @default.
- W2201001608 hasAuthorship W2201001608A5009472872 @default.
- W2201001608 hasAuthorship W2201001608A5019258757 @default.
- W2201001608 hasConcept C109905503 @default.
- W2201001608 hasConcept C111919701 @default.
- W2201001608 hasConcept C112930515 @default.
- W2201001608 hasConcept C115903868 @default.
- W2201001608 hasConcept C117447612 @default.
- W2201001608 hasConcept C121332964 @default.
- W2201001608 hasConcept C127413603 @default.
- W2201001608 hasConcept C163258240 @default.
- W2201001608 hasConcept C176035894 @default.
- W2201001608 hasConcept C180152950 @default.
- W2201001608 hasConcept C186846655 @default.
- W2201001608 hasConcept C188329197 @default.
- W2201001608 hasConcept C200601418 @default.
- W2201001608 hasConcept C201995342 @default.
- W2201001608 hasConcept C21547014 @default.
- W2201001608 hasConcept C2777904410 @default.
- W2201001608 hasConcept C29983905 @default.
- W2201001608 hasConcept C33054407 @default.
- W2201001608 hasConcept C38652104 @default.
- W2201001608 hasConcept C41008148 @default.
- W2201001608 hasConcept C43214815 @default.
- W2201001608 hasConcept C48002344 @default.
- W2201001608 hasConcept C527648132 @default.
- W2201001608 hasConcept C529173508 @default.
- W2201001608 hasConcept C62520636 @default.
- W2201001608 hasConcept C62913178 @default.
- W2201001608 hasConcept C71924100 @default.
- W2201001608 hasConcept C98045186 @default.
- W2201001608 hasConceptScore W2201001608C109905503 @default.
- W2201001608 hasConceptScore W2201001608C111919701 @default.
- W2201001608 hasConceptScore W2201001608C112930515 @default.
- W2201001608 hasConceptScore W2201001608C115903868 @default.
- W2201001608 hasConceptScore W2201001608C117447612 @default.
- W2201001608 hasConceptScore W2201001608C121332964 @default.
- W2201001608 hasConceptScore W2201001608C127413603 @default.
- W2201001608 hasConceptScore W2201001608C163258240 @default.
- W2201001608 hasConceptScore W2201001608C176035894 @default.
- W2201001608 hasConceptScore W2201001608C180152950 @default.
- W2201001608 hasConceptScore W2201001608C186846655 @default.
- W2201001608 hasConceptScore W2201001608C188329197 @default.
- W2201001608 hasConceptScore W2201001608C200601418 @default.
- W2201001608 hasConceptScore W2201001608C201995342 @default.
- W2201001608 hasConceptScore W2201001608C21547014 @default.
- W2201001608 hasConceptScore W2201001608C2777904410 @default.
- W2201001608 hasConceptScore W2201001608C29983905 @default.
- W2201001608 hasConceptScore W2201001608C33054407 @default.
- W2201001608 hasConceptScore W2201001608C38652104 @default.
- W2201001608 hasConceptScore W2201001608C41008148 @default.
- W2201001608 hasConceptScore W2201001608C43214815 @default.
- W2201001608 hasConceptScore W2201001608C48002344 @default.
- W2201001608 hasConceptScore W2201001608C527648132 @default.
- W2201001608 hasConceptScore W2201001608C529173508 @default.
- W2201001608 hasConceptScore W2201001608C62520636 @default.
- W2201001608 hasConceptScore W2201001608C62913178 @default.
- W2201001608 hasConceptScore W2201001608C71924100 @default.
- W2201001608 hasConceptScore W2201001608C98045186 @default.
- W2201001608 hasLocation W22010016081 @default.
- W2201001608 hasOpenAccess W2201001608 @default.
- W2201001608 hasPrimaryLocation W22010016081 @default.
- W2201001608 hasRelatedWork W1550749626 @default.
- W2201001608 hasRelatedWork W1561391507 @default.
- W2201001608 hasRelatedWork W1977617227 @default.
- W2201001608 hasRelatedWork W1991509731 @default.
- W2201001608 hasRelatedWork W1993590692 @default.
- W2201001608 hasRelatedWork W2042083585 @default.
- W2201001608 hasRelatedWork W2045405410 @default.
- W2201001608 hasRelatedWork W2396654076 @default.
- W2201001608 hasRelatedWork W2470775240 @default.
- W2201001608 hasRelatedWork W2512339671 @default.
- W2201001608 hasRelatedWork W2525872829 @default.
- W2201001608 hasRelatedWork W2819894625 @default.
- W2201001608 hasRelatedWork W2903040388 @default.
- W2201001608 hasRelatedWork W2954541150 @default.
- W2201001608 hasRelatedWork W2979871891 @default.
- W2201001608 hasRelatedWork W2997791651 @default.
- W2201001608 hasRelatedWork W3162721539 @default.
- W2201001608 hasRelatedWork W337439194 @default.