Matches in SemOpenAlex for { <https://semopenalex.org/work/W1799194776> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1799194776 abstract "Because aerospace systems become more and more complex, the pile of documents specifying the requirements for such systems grows continuously. It is obvious that it is not enough just to produce more documents. The expressiveness of system requirements has to be consideredas well. However, the ambiguity of natural language generallyused to define requirements impedes a manageable growth of system complexities. Therefore, new approaches of abstraction and formalization are needed.In this paper, we describe a semi-automatic implementation of symbolic abstraction by using methods of natural language processing and temporal logic. A graphical presentation of grammatical relations supports the comprehensibility of symbolic abstraction whereas methods defined by the Linear Temporal Logic (LTL) are incorporated to specify the temporal order of requirements. We demonstrate our approach by using exemplary requirements for the ExoMars mission." @default.
- W1799194776 created "2016-06-24" @default.
- W1799194776 creator A5005117583 @default.
- W1799194776 creator A5006361808 @default.
- W1799194776 creator A5012466799 @default.
- W1799194776 creator A5021712397 @default.
- W1799194776 creator A5048919878 @default.
- W1799194776 date "2010-10-19" @default.
- W1799194776 modified "2023-09-27" @default.
- W1799194776 title "Symbolic Abstraction of System Requirements" @default.
- W1799194776 cites W10376690 @default.
- W1799194776 cites W1632114991 @default.
- W1799194776 cites W1972615015 @default.
- W1799194776 cites W2000546550 @default.
- W1799194776 cites W2001914359 @default.
- W1799194776 cites W2003458432 @default.
- W1799194776 cites W2023808162 @default.
- W1799194776 cites W2093647425 @default.
- W1799194776 cites W2096204319 @default.
- W1799194776 cites W2129289644 @default.
- W1799194776 hasPublicationYear "2010" @default.
- W1799194776 type Work @default.
- W1799194776 sameAs 1799194776 @default.
- W1799194776 citedByCount "0" @default.
- W1799194776 crossrefType "journal-article" @default.
- W1799194776 hasAuthorship W1799194776A5005117583 @default.
- W1799194776 hasAuthorship W1799194776A5006361808 @default.
- W1799194776 hasAuthorship W1799194776A5012466799 @default.
- W1799194776 hasAuthorship W1799194776A5021712397 @default.
- W1799194776 hasAuthorship W1799194776A5048919878 @default.
- W1799194776 hasConcept C111472728 @default.
- W1799194776 hasConcept C124304363 @default.
- W1799194776 hasConcept C138885662 @default.
- W1799194776 hasConcept C199360897 @default.
- W1799194776 hasConcept C25016198 @default.
- W1799194776 hasConcept C2777904410 @default.
- W1799194776 hasConcept C2780522230 @default.
- W1799194776 hasConcept C41008148 @default.
- W1799194776 hasConcept C4777664 @default.
- W1799194776 hasConcept C59488412 @default.
- W1799194776 hasConceptScore W1799194776C111472728 @default.
- W1799194776 hasConceptScore W1799194776C124304363 @default.
- W1799194776 hasConceptScore W1799194776C138885662 @default.
- W1799194776 hasConceptScore W1799194776C199360897 @default.
- W1799194776 hasConceptScore W1799194776C25016198 @default.
- W1799194776 hasConceptScore W1799194776C2777904410 @default.
- W1799194776 hasConceptScore W1799194776C2780522230 @default.
- W1799194776 hasConceptScore W1799194776C41008148 @default.
- W1799194776 hasConceptScore W1799194776C4777664 @default.
- W1799194776 hasConceptScore W1799194776C59488412 @default.
- W1799194776 hasLocation W17991947761 @default.
- W1799194776 hasOpenAccess W1799194776 @default.
- W1799194776 hasPrimaryLocation W17991947761 @default.
- W1799194776 hasRelatedWork W176122079 @default.
- W1799194776 hasRelatedWork W1787594487 @default.
- W1799194776 hasRelatedWork W1827885981 @default.
- W1799194776 hasRelatedWork W1984865692 @default.
- W1799194776 hasRelatedWork W2273528907 @default.
- W1799194776 hasRelatedWork W2412379106 @default.
- W1799194776 hasRelatedWork W2800692726 @default.
- W1799194776 hasRelatedWork W2893154303 @default.
- W1799194776 hasRelatedWork W2897557115 @default.
- W1799194776 hasRelatedWork W2968593786 @default.
- W1799194776 hasRelatedWork W2972586951 @default.
- W1799194776 hasRelatedWork W3005098884 @default.
- W1799194776 hasRelatedWork W3127492179 @default.
- W1799194776 hasRelatedWork W3129148263 @default.
- W1799194776 isParatext "false" @default.
- W1799194776 isRetracted "false" @default.
- W1799194776 magId "1799194776" @default.
- W1799194776 workType "article" @default.