Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978502535> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1978502535 endingPage "1124" @default.
- W1978502535 startingPage "1111" @default.
- W1978502535 abstract "Formal methods of design are neglected areas with very little current work. At present, requirements analysis and high-level design are rarely treated in a disciplined way by design engineers. Yet errors committed in these stages are most difficult to detect and costly to remove. The paper presents a formal approach to development of systems with high reliability, taking into account safety-critical factors as and when they are relevant. It discusses how formalism may be used to support direct requirements expression and realization." @default.
- W1978502535 created "2016-06-24" @default.
- W1978502535 creator A5021407437 @default.
- W1978502535 creator A5070307645 @default.
- W1978502535 date "1995-08-01" @default.
- W1978502535 modified "2023-10-05" @default.
- W1978502535 title "Using formal methods in a design for reliability as applied to an electronic system that integrates software and hardware to perform a function" @default.
- W1978502535 cites W2021999882 @default.
- W1978502535 cites W2057954796 @default.
- W1978502535 cites W2085499420 @default.
- W1978502535 cites W2114957237 @default.
- W1978502535 cites W2155048624 @default.
- W1978502535 cites W4240401048 @default.
- W1978502535 doi "https://doi.org/10.1016/0026-2714(94)00179-r" @default.
- W1978502535 hasPublicationYear "1995" @default.
- W1978502535 type Work @default.
- W1978502535 sameAs 1978502535 @default.
- W1978502535 citedByCount "0" @default.
- W1978502535 crossrefType "journal-article" @default.
- W1978502535 hasAuthorship W1978502535A5021407437 @default.
- W1978502535 hasAuthorship W1978502535A5070307645 @default.
- W1978502535 hasConcept C105795698 @default.
- W1978502535 hasConcept C111498074 @default.
- W1978502535 hasConcept C115903868 @default.
- W1978502535 hasConcept C121332964 @default.
- W1978502535 hasConcept C127413603 @default.
- W1978502535 hasConcept C142362112 @default.
- W1978502535 hasConcept C149635348 @default.
- W1978502535 hasConcept C153349607 @default.
- W1978502535 hasConcept C163258240 @default.
- W1978502535 hasConcept C199360897 @default.
- W1978502535 hasConcept C200601418 @default.
- W1978502535 hasConcept C201995342 @default.
- W1978502535 hasConcept C2777904410 @default.
- W1978502535 hasConcept C2781089630 @default.
- W1978502535 hasConcept C33923547 @default.
- W1978502535 hasConcept C41008148 @default.
- W1978502535 hasConcept C43214815 @default.
- W1978502535 hasConcept C558565934 @default.
- W1978502535 hasConcept C62520636 @default.
- W1978502535 hasConcept C73301696 @default.
- W1978502535 hasConcept C75606506 @default.
- W1978502535 hasConceptScore W1978502535C105795698 @default.
- W1978502535 hasConceptScore W1978502535C111498074 @default.
- W1978502535 hasConceptScore W1978502535C115903868 @default.
- W1978502535 hasConceptScore W1978502535C121332964 @default.
- W1978502535 hasConceptScore W1978502535C127413603 @default.
- W1978502535 hasConceptScore W1978502535C142362112 @default.
- W1978502535 hasConceptScore W1978502535C149635348 @default.
- W1978502535 hasConceptScore W1978502535C153349607 @default.
- W1978502535 hasConceptScore W1978502535C163258240 @default.
- W1978502535 hasConceptScore W1978502535C199360897 @default.
- W1978502535 hasConceptScore W1978502535C200601418 @default.
- W1978502535 hasConceptScore W1978502535C201995342 @default.
- W1978502535 hasConceptScore W1978502535C2777904410 @default.
- W1978502535 hasConceptScore W1978502535C2781089630 @default.
- W1978502535 hasConceptScore W1978502535C33923547 @default.
- W1978502535 hasConceptScore W1978502535C41008148 @default.
- W1978502535 hasConceptScore W1978502535C43214815 @default.
- W1978502535 hasConceptScore W1978502535C558565934 @default.
- W1978502535 hasConceptScore W1978502535C62520636 @default.
- W1978502535 hasConceptScore W1978502535C73301696 @default.
- W1978502535 hasConceptScore W1978502535C75606506 @default.
- W1978502535 hasIssue "8" @default.
- W1978502535 hasLocation W19785025351 @default.
- W1978502535 hasOpenAccess W1978502535 @default.
- W1978502535 hasPrimaryLocation W19785025351 @default.
- W1978502535 hasRelatedWork W1524361563 @default.
- W1978502535 hasRelatedWork W2052758361 @default.
- W1978502535 hasRelatedWork W2072697836 @default.
- W1978502535 hasRelatedWork W2139930485 @default.
- W1978502535 hasRelatedWork W2562928796 @default.
- W1978502535 hasRelatedWork W2605218250 @default.
- W1978502535 hasRelatedWork W2783678835 @default.
- W1978502535 hasRelatedWork W2811199954 @default.
- W1978502535 hasRelatedWork W3091728393 @default.
- W1978502535 hasRelatedWork W61995002 @default.
- W1978502535 hasVolume "35" @default.
- W1978502535 isParatext "false" @default.
- W1978502535 isRetracted "false" @default.
- W1978502535 magId "1978502535" @default.
- W1978502535 workType "article" @default.