Extracting TFM Core Elements From Use Case Scenarios by Processing Structure and Text in Natural Language
Abstract
References
Index Terms
- Extracting TFM Core Elements From Use Case Scenarios by Processing Structure and Text in Natural Language
Recommendations
Extracting Core Elements of TFM Functional Characteristics from Stanford CoreNLP Application Outcomes
ENASE 2019: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software EngineeringStanford CoreNLP is the Natural Language Processing (NLP) pipeline that allow analysing text at paragraph, sentence and word levels. Its outcomes can be used for extracting core elements of functional characteristics of the Topological Functioning Model ...
Extracting design information from natural language specifications
DAC '12: Proceedings of the 49th Annual Design Automation ConferenceNatural language specifications are the first concrete behavioral description which is the basis for any manually generated formal behavioral model. Natural language is preferred as the initial description method mainly because it is much simpler for a ...
C2S: translating natural language comments to formal program specifications
ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringFormal program specifications are essential for various software engineering tasks, such as program verification, program synthesis, code debugging and software testing. However, manually inferring formal program specifications is not only time-...
Comments
Information & Contributors
Information
Published In
Publisher
Walter de Gruyter GmbH
Berlin, Germany
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in