Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490933557> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1490933557 abstract "Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of highly sophisticated X-ray machines. In this paper we analyze the effects of applying ASD in the development of various control software units. We compare the quality of these units with other units developed in traditional development methods. The results indicate that applying ASD as a formal technology for developing control software results in better quality code." @default.
- W1490933557 created "2016-06-24" @default.
- W1490933557 creator A5029513263 @default.
- W1490933557 creator A5057310606 @default.
- W1490933557 creator A5072402780 @default.
- W1490933557 date "2011-01-01" @default.
- W1490933557 modified "2023-09-26" @default.
- W1490933557 title "Benefits of applying formal methods to industrial control software" @default.
- W1490933557 cites W1502406167 @default.
- W1490933557 cites W1509936845 @default.
- W1490933557 cites W1522223086 @default.
- W1490933557 cites W1533209541 @default.
- W1490933557 cites W1565279216 @default.
- W1490933557 cites W1649645444 @default.
- W1490933557 cites W1967535316 @default.
- W1490933557 cites W1970554654 @default.
- W1490933557 cites W1974828696 @default.
- W1490933557 cites W2019063197 @default.
- W1490933557 cites W2129259650 @default.
- W1490933557 cites W2129384397 @default.
- W1490933557 cites W2428639350 @default.
- W1490933557 cites W3142790043 @default.
- W1490933557 hasPublicationYear "2011" @default.
- W1490933557 type Work @default.
- W1490933557 sameAs 1490933557 @default.
- W1490933557 citedByCount "3" @default.
- W1490933557 countsByYear W14909335572014 @default.
- W1490933557 countsByYear W14909335572021 @default.
- W1490933557 crossrefType "journal-article" @default.
- W1490933557 hasAuthorship W1490933557A5029513263 @default.
- W1490933557 hasAuthorship W1490933557A5057310606 @default.
- W1490933557 hasAuthorship W1490933557A5072402780 @default.
- W1490933557 hasConcept C115903868 @default.
- W1490933557 hasConcept C117447612 @default.
- W1490933557 hasConcept C123551368 @default.
- W1490933557 hasConcept C127413603 @default.
- W1490933557 hasConcept C154945302 @default.
- W1490933557 hasConcept C186846655 @default.
- W1490933557 hasConcept C199360897 @default.
- W1490933557 hasConcept C21547014 @default.
- W1490933557 hasConcept C2775924081 @default.
- W1490933557 hasConcept C2777904410 @default.
- W1490933557 hasConcept C41008148 @default.
- W1490933557 hasConcept C48002344 @default.
- W1490933557 hasConcept C529173508 @default.
- W1490933557 hasConcept C75606506 @default.
- W1490933557 hasConceptScore W1490933557C115903868 @default.
- W1490933557 hasConceptScore W1490933557C117447612 @default.
- W1490933557 hasConceptScore W1490933557C123551368 @default.
- W1490933557 hasConceptScore W1490933557C127413603 @default.
- W1490933557 hasConceptScore W1490933557C154945302 @default.
- W1490933557 hasConceptScore W1490933557C186846655 @default.
- W1490933557 hasConceptScore W1490933557C199360897 @default.
- W1490933557 hasConceptScore W1490933557C21547014 @default.
- W1490933557 hasConceptScore W1490933557C2775924081 @default.
- W1490933557 hasConceptScore W1490933557C2777904410 @default.
- W1490933557 hasConceptScore W1490933557C41008148 @default.
- W1490933557 hasConceptScore W1490933557C48002344 @default.
- W1490933557 hasConceptScore W1490933557C529173508 @default.
- W1490933557 hasConceptScore W1490933557C75606506 @default.
- W1490933557 hasOpenAccess W1490933557 @default.
- W1490933557 hasRelatedWork W141041809 @default.
- W1490933557 hasRelatedWork W1518267420 @default.
- W1490933557 hasRelatedWork W1571738907 @default.
- W1490933557 hasRelatedWork W2104612650 @default.
- W1490933557 hasRelatedWork W2154352094 @default.
- W1490933557 hasRelatedWork W2460386565 @default.
- W1490933557 hasRelatedWork W2741964526 @default.
- W1490933557 hasRelatedWork W2966595807 @default.
- W1490933557 hasRelatedWork W3006162906 @default.
- W1490933557 hasRelatedWork W3033019462 @default.
- W1490933557 hasRelatedWork W3104932825 @default.
- W1490933557 hasRelatedWork W3119143225 @default.
- W1490933557 hasRelatedWork W3125292927 @default.
- W1490933557 hasRelatedWork W339732930 @default.
- W1490933557 hasRelatedWork W355156167 @default.
- W1490933557 hasRelatedWork W659412543 @default.
- W1490933557 hasRelatedWork W841713778 @default.
- W1490933557 hasRelatedWork W1541548948 @default.
- W1490933557 hasRelatedWork W2187471770 @default.
- W1490933557 hasRelatedWork W2595338005 @default.
- W1490933557 hasVolume "1104" @default.
- W1490933557 isParatext "false" @default.
- W1490933557 isRetracted "false" @default.
- W1490933557 magId "1490933557" @default.
- W1490933557 workType "article" @default.