Matches in SemOpenAlex for { <https://semopenalex.org/work/W30225013> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W30225013 abstract "With our growing reliance on computers, the total societal costs of their failures are hard to underestimate. Nowadays computers control critical systems from various domains such as aerospace, automotive, railway, business etc. Obviously, such systems must have a high degree of dependability -- a degree of trust that can be justifiably placed on them. Although the currently operating systems do have an acceptable level of dependability, we believe that they development process is still rather immature and ad-hoc. The constantly growing system complexity poses an increasing challenge on the system developers and requires significant improvement on the existing developing practice. To address this problem, we investigated how to establish a set of refinement-based engineering methods that can provide the designers with a systematic methodology for development of complex systems." @default.
- W30225013 created "2016-06-24" @default.
- W30225013 creator A5006626759 @default.
- W30225013 creator A5056335848 @default.
- W30225013 creator A5065128505 @default.
- W30225013 creator A5070192715 @default.
- W30225013 creator A5089563820 @default.
- W30225013 date "2009-01-01" @default.
- W30225013 modified "2023-09-27" @default.
- W30225013 title "09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems." @default.
- W30225013 hasPublicationYear "2009" @default.
- W30225013 type Work @default.
- W30225013 sameAs 30225013 @default.
- W30225013 citedByCount "0" @default.
- W30225013 crossrefType "journal-article" @default.
- W30225013 hasAuthorship W30225013A5006626759 @default.
- W30225013 hasAuthorship W30225013A5056335848 @default.
- W30225013 hasAuthorship W30225013A5065128505 @default.
- W30225013 hasAuthorship W30225013A5070192715 @default.
- W30225013 hasAuthorship W30225013A5089563820 @default.
- W30225013 hasConcept C111919701 @default.
- W30225013 hasConcept C112930515 @default.
- W30225013 hasConcept C115903868 @default.
- W30225013 hasConcept C127413603 @default.
- W30225013 hasConcept C144133560 @default.
- W30225013 hasConcept C146978453 @default.
- W30225013 hasConcept C167740415 @default.
- W30225013 hasConcept C177264268 @default.
- W30225013 hasConcept C199360897 @default.
- W30225013 hasConcept C201995342 @default.
- W30225013 hasConcept C41008148 @default.
- W30225013 hasConcept C526921623 @default.
- W30225013 hasConcept C77019957 @default.
- W30225013 hasConcept C98045186 @default.
- W30225013 hasConceptScore W30225013C111919701 @default.
- W30225013 hasConceptScore W30225013C112930515 @default.
- W30225013 hasConceptScore W30225013C115903868 @default.
- W30225013 hasConceptScore W30225013C127413603 @default.
- W30225013 hasConceptScore W30225013C144133560 @default.
- W30225013 hasConceptScore W30225013C146978453 @default.
- W30225013 hasConceptScore W30225013C167740415 @default.
- W30225013 hasConceptScore W30225013C177264268 @default.
- W30225013 hasConceptScore W30225013C199360897 @default.
- W30225013 hasConceptScore W30225013C201995342 @default.
- W30225013 hasConceptScore W30225013C41008148 @default.
- W30225013 hasConceptScore W30225013C526921623 @default.
- W30225013 hasConceptScore W30225013C77019957 @default.
- W30225013 hasConceptScore W30225013C98045186 @default.
- W30225013 hasLocation W302250131 @default.
- W30225013 hasOpenAccess W30225013 @default.
- W30225013 hasPrimaryLocation W302250131 @default.
- W30225013 hasRelatedWork W1482632800 @default.
- W30225013 hasRelatedWork W1532361119 @default.
- W30225013 hasRelatedWork W1584260223 @default.
- W30225013 hasRelatedWork W1596932909 @default.
- W30225013 hasRelatedWork W1991845673 @default.
- W30225013 hasRelatedWork W2031542343 @default.
- W30225013 hasRelatedWork W2085930511 @default.
- W30225013 hasRelatedWork W2087689748 @default.
- W30225013 hasRelatedWork W2093040975 @default.
- W30225013 hasRelatedWork W2154981246 @default.
- W30225013 hasRelatedWork W2184876841 @default.
- W30225013 hasRelatedWork W2186965089 @default.
- W30225013 hasRelatedWork W2497853164 @default.
- W30225013 hasRelatedWork W2805354419 @default.
- W30225013 hasRelatedWork W2884293334 @default.
- W30225013 hasRelatedWork W2913185094 @default.
- W30225013 hasRelatedWork W2948430060 @default.
- W30225013 hasRelatedWork W3034626698 @default.
- W30225013 hasRelatedWork W3118752412 @default.
- W30225013 hasRelatedWork W752904421 @default.
- W30225013 isParatext "false" @default.
- W30225013 isRetracted "false" @default.
- W30225013 magId "30225013" @default.
- W30225013 workType "article" @default.