Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138695473> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2138695473 abstract "Many formal specification languages have been developed to engineer complex systems. However natural language (NL) has remained the choice of domain experts to specify the system because formal specification languages are not easy to master. Therefore NL requirements documentation must be reinterpreted by software engineers into a formal specification language. When the system is very complicated, which is mostly the case when one chooses to use formal specification, this conversion is both non-trivial and error-prone, if not implausible. This challenge comes from many factors such as miscommunication between domain experts and engineers. However the major bottleneck of this conversion is from the inborn characteristic of ambiguity of NL and the different level of the formalism between the two domains of NL and the formal specification. This is why there have been very few attempts to automate the conversion from requirements documentation to a formal specification language. This research project is developed as an application of formal specification and linguistic techniques to automate the conversion from a requirements document written in NL to a formal specification language. Contextual Natural Language Processing (CNLP) is used to handle the ambiguity problem in NL and Two Level Grammar (TLG) is used to deal with the different formalism level between NL and formal specification languages to achieve automated conversion from NL requirements documentation into a formal specification (in our case the Vienna Development Method - VDM++). A knowledge base is built from the NL requirements documentation using CNLP by parsing the documentation and storing the syntactic, semantic, and contextual information." @default.
- W2138695473 created "2016-06-24" @default.
- W2138695473 creator A5071797696 @default.
- W2138695473 date "2005-08-25" @default.
- W2138695473 modified "2023-09-25" @default.
- W2138695473 title "Automated conversion from a requirements document to an executable formal specification" @default.
- W2138695473 doi "https://doi.org/10.1109/ase.2001.989850" @default.
- W2138695473 hasPublicationYear "2005" @default.
- W2138695473 type Work @default.
- W2138695473 sameAs 2138695473 @default.
- W2138695473 citedByCount "1" @default.
- W2138695473 crossrefType "proceedings-article" @default.
- W2138695473 hasAuthorship W2138695473A5071797696 @default.
- W2138695473 hasConcept C102780508 @default.
- W2138695473 hasConcept C111498074 @default.
- W2138695473 hasConcept C115903868 @default.
- W2138695473 hasConcept C116253237 @default.
- W2138695473 hasConcept C119263510 @default.
- W2138695473 hasConcept C146072743 @default.
- W2138695473 hasConcept C15077461 @default.
- W2138695473 hasConcept C199360897 @default.
- W2138695473 hasConcept C201677973 @default.
- W2138695473 hasConcept C2777904410 @default.
- W2138695473 hasConcept C34165917 @default.
- W2138695473 hasConcept C41008148 @default.
- W2138695473 hasConcept C50033165 @default.
- W2138695473 hasConcept C52913732 @default.
- W2138695473 hasConcept C529173508 @default.
- W2138695473 hasConcept C56666940 @default.
- W2138695473 hasConcept C75606506 @default.
- W2138695473 hasConcept C84651959 @default.
- W2138695473 hasConcept C90069079 @default.
- W2138695473 hasConceptScore W2138695473C102780508 @default.
- W2138695473 hasConceptScore W2138695473C111498074 @default.
- W2138695473 hasConceptScore W2138695473C115903868 @default.
- W2138695473 hasConceptScore W2138695473C116253237 @default.
- W2138695473 hasConceptScore W2138695473C119263510 @default.
- W2138695473 hasConceptScore W2138695473C146072743 @default.
- W2138695473 hasConceptScore W2138695473C15077461 @default.
- W2138695473 hasConceptScore W2138695473C199360897 @default.
- W2138695473 hasConceptScore W2138695473C201677973 @default.
- W2138695473 hasConceptScore W2138695473C2777904410 @default.
- W2138695473 hasConceptScore W2138695473C34165917 @default.
- W2138695473 hasConceptScore W2138695473C41008148 @default.
- W2138695473 hasConceptScore W2138695473C50033165 @default.
- W2138695473 hasConceptScore W2138695473C52913732 @default.
- W2138695473 hasConceptScore W2138695473C529173508 @default.
- W2138695473 hasConceptScore W2138695473C56666940 @default.
- W2138695473 hasConceptScore W2138695473C75606506 @default.
- W2138695473 hasConceptScore W2138695473C84651959 @default.
- W2138695473 hasConceptScore W2138695473C90069079 @default.
- W2138695473 hasLocation W21386954731 @default.
- W2138695473 hasOpenAccess W2138695473 @default.
- W2138695473 hasPrimaryLocation W21386954731 @default.
- W2138695473 hasRelatedWork W1480620286 @default.
- W2138695473 hasRelatedWork W1490229466 @default.
- W2138695473 hasRelatedWork W1855830504 @default.
- W2138695473 hasRelatedWork W1974780906 @default.
- W2138695473 hasRelatedWork W1990371686 @default.
- W2138695473 hasRelatedWork W1996511208 @default.
- W2138695473 hasRelatedWork W1998009034 @default.
- W2138695473 hasRelatedWork W2060902370 @default.
- W2138695473 hasRelatedWork W2065511052 @default.
- W2138695473 hasRelatedWork W2085606356 @default.
- W2138695473 hasRelatedWork W2100294651 @default.
- W2138695473 hasRelatedWork W2100586923 @default.
- W2138695473 hasRelatedWork W2104781830 @default.
- W2138695473 hasRelatedWork W2108876834 @default.
- W2138695473 hasRelatedWork W2114000297 @default.
- W2138695473 hasRelatedWork W2129406654 @default.
- W2138695473 hasRelatedWork W2171020888 @default.
- W2138695473 hasRelatedWork W2513794478 @default.
- W2138695473 hasRelatedWork W2587684450 @default.
- W2138695473 hasRelatedWork W2954323385 @default.
- W2138695473 isParatext "false" @default.
- W2138695473 isRetracted "false" @default.
- W2138695473 magId "2138695473" @default.
- W2138695473 workType "article" @default.