Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107645228> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2107645228 endingPage "101" @default.
- W2107645228 startingPage "98" @default.
- W2107645228 abstract "This paper reports on a feasibility and formal design study carried out for a safety critical communications system. It highlights some important conclusions regarding the requirements definition process for safety critical systems and the role of formal methods within that process. The study applied novel formal approaches to system analysis and design in a practical application in order to gain an understanding of the technical and methodological issues surrounding their use. The paper concentrates on a few of the issues which were highlighted by the study. It starts by explaining the background to the development in terms of the expected role of formal methods within the requirements definition process, the target application and the anticipated nature of the system solutions. Next, issues arising in the various stages of the process are discussed and some of the problems encountered are highlighted. These impacted partly upon the conduct of the development and partly upon the technical solutions themselves. Finally, some of the conclusions from the study are discussed. >" @default.
- W2107645228 created "2016-06-24" @default.
- W2107645228 creator A5073916897 @default.
- W2107645228 date "1992-01-01" @default.
- W2107645228 modified "2023-10-02" @default.
- W2107645228 title "Definition of requirements for a safety critical communications system" @default.
- W2107645228 hasPublicationYear "1992" @default.
- W2107645228 type Work @default.
- W2107645228 sameAs 2107645228 @default.
- W2107645228 citedByCount "1" @default.
- W2107645228 crossrefType "proceedings-article" @default.
- W2107645228 hasAuthorship W2107645228A5073916897 @default.
- W2107645228 hasConcept C10138342 @default.
- W2107645228 hasConcept C111919701 @default.
- W2107645228 hasConcept C112930515 @default.
- W2107645228 hasConcept C115903868 @default.
- W2107645228 hasConcept C127413603 @default.
- W2107645228 hasConcept C144133560 @default.
- W2107645228 hasConcept C163707989 @default.
- W2107645228 hasConcept C182306322 @default.
- W2107645228 hasConcept C195094911 @default.
- W2107645228 hasConcept C199360897 @default.
- W2107645228 hasConcept C201995342 @default.
- W2107645228 hasConcept C2777904410 @default.
- W2107645228 hasConcept C2780074322 @default.
- W2107645228 hasConcept C40398212 @default.
- W2107645228 hasConcept C41008148 @default.
- W2107645228 hasConcept C539667460 @default.
- W2107645228 hasConcept C75606506 @default.
- W2107645228 hasConcept C98045186 @default.
- W2107645228 hasConceptScore W2107645228C10138342 @default.
- W2107645228 hasConceptScore W2107645228C111919701 @default.
- W2107645228 hasConceptScore W2107645228C112930515 @default.
- W2107645228 hasConceptScore W2107645228C115903868 @default.
- W2107645228 hasConceptScore W2107645228C127413603 @default.
- W2107645228 hasConceptScore W2107645228C144133560 @default.
- W2107645228 hasConceptScore W2107645228C163707989 @default.
- W2107645228 hasConceptScore W2107645228C182306322 @default.
- W2107645228 hasConceptScore W2107645228C195094911 @default.
- W2107645228 hasConceptScore W2107645228C199360897 @default.
- W2107645228 hasConceptScore W2107645228C201995342 @default.
- W2107645228 hasConceptScore W2107645228C2777904410 @default.
- W2107645228 hasConceptScore W2107645228C2780074322 @default.
- W2107645228 hasConceptScore W2107645228C40398212 @default.
- W2107645228 hasConceptScore W2107645228C41008148 @default.
- W2107645228 hasConceptScore W2107645228C539667460 @default.
- W2107645228 hasConceptScore W2107645228C75606506 @default.
- W2107645228 hasConceptScore W2107645228C98045186 @default.
- W2107645228 hasLocation W21076452281 @default.
- W2107645228 hasOpenAccess W2107645228 @default.
- W2107645228 hasPrimaryLocation W21076452281 @default.
- W2107645228 hasRelatedWork W112017717 @default.
- W2107645228 hasRelatedWork W1491985133 @default.
- W2107645228 hasRelatedWork W1506565716 @default.
- W2107645228 hasRelatedWork W1525575340 @default.
- W2107645228 hasRelatedWork W1532059764 @default.
- W2107645228 hasRelatedWork W1914947823 @default.
- W2107645228 hasRelatedWork W1986863105 @default.
- W2107645228 hasRelatedWork W2081380714 @default.
- W2107645228 hasRelatedWork W2135031730 @default.
- W2107645228 hasRelatedWork W2158585770 @default.
- W2107645228 hasRelatedWork W2166372176 @default.
- W2107645228 hasRelatedWork W2254347045 @default.
- W2107645228 hasRelatedWork W2606824592 @default.
- W2107645228 hasRelatedWork W2607264831 @default.
- W2107645228 hasRelatedWork W2775174563 @default.
- W2107645228 hasRelatedWork W2941962443 @default.
- W2107645228 hasRelatedWork W52781532 @default.
- W2107645228 hasRelatedWork W897819162 @default.
- W2107645228 hasRelatedWork W1543979412 @default.
- W2107645228 hasRelatedWork W2399785874 @default.
- W2107645228 isParatext "false" @default.
- W2107645228 isRetracted "false" @default.
- W2107645228 magId "2107645228" @default.
- W2107645228 workType "article" @default.