Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

CPN simulation-based test case generation from controlled natural-language requirements

Science of Computer Programming ◽

10.1016/j.scico.2019.04.001 ◽

2019 ◽

Vol 181 ◽

pp. 111-139 ◽

Cited By ~ 2

Author(s):

Bruno Cesar F. Silva ◽

Gustavo Carvalho ◽

Augusto Sampaio

Keyword(s):

Natural Language ◽

Test Case Generation ◽

Test Case ◽

Simulation Based ◽

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

Model-Based Testing from Controlled Natural Language Requirements

10.1007/978-3-319-05416-2_3 ◽

2014 ◽

pp. 19-35 ◽

Cited By ~ 12

Author(s):

Gustavo Carvalho ◽

Flávia Barros ◽

Florian Lapschies ◽

Uwe Schulze ◽

Jan Peleska

Keyword(s):

Natural Language ◽

Model Based ◽

Model Based Testing ◽

Modelling timed reactive systems from natural-language requirements

Formal Aspects of Computing ◽

10.1007/s00165-016-0387-x ◽

2016 ◽

Vol 28 (5) ◽

pp. 725-765 ◽

Cited By ~ 7

Author(s):

Gustavo Carvalho ◽

Ana Cavalcanti ◽

Augusto Sampaio

Keyword(s):

Natural Language ◽

Reactive Systems ◽

CQChecker: A Tool to Check Ontologies in OWL-DL using Competency Questions written in Controlled Natural Language

Learning and Nonlinear Models ◽

10.21528/lnlm-vol12-no2-art4 ◽

2014 ◽

Vol 12 (2) ◽

pp. 115-129 ◽

Cited By ~ 4

Author(s):

Camila Bezerra ◽

Filipe Santana ◽

Fred Freitas

Keyword(s):

Natural Language ◽

Controlled Natural Language

Engineering an Aligned Gold-Standard Corpus of Human to Machine Oriented Controlled Natural Language

2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) ◽

10.1109/wi.2018.00-58 ◽

2018 ◽

Author(s):

Hazem Safwat ◽

Brian Davis ◽

Manel Zarrouk

Keyword(s):

Natural Language ◽

Gold Standard ◽

Gold Standard Corpus

Controlled Natural Language Framework for Generating Assertions from Hardware Specifications

2019 IEEE 13th International Conference on Semantic Computing (ICSC) ◽

10.1109/icosc.2019.8665517 ◽

2019 ◽

Cited By ~ 2

Author(s):

Rahul Krishnamurthy ◽

Michael S. Hsiao

Keyword(s):

Natural Language ◽

Controlled Natural Language

2014 IEEE 38th International Computer Software and Applications Conference Workshops ◽

Automated Generation of User-Interface Prototypes Based on Controlled Natural Language Description

10.1109/compsacw.2014.44 ◽

2014 ◽

Cited By ~ 2

Author(s):

Reyes Juarez-Ramirez ◽

Carlos Huertas ◽

Sergio Inzunza

Keyword(s):

User Interface ◽

Natural Language ◽

Automated Generation ◽

Language Description

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 ◽

NARCIA: an automated tool for change impact analysis in natural language requirements

10.1145/2786805.2803185 ◽

2015 ◽

Cited By ~ 3

Author(s):

Chetan Arora ◽

Mehrdad Sabetzadeh ◽

Arda Goknil ◽

Lionel C. Briand ◽

Frank Zimmer

Keyword(s):

Natural Language ◽

Impact Analysis ◽

Change Impact Analysis ◽

Natural Language Requirements ◽

Change Impact ◽

Automated Tool

2021 IEEE 1st International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering MI-STA ◽

Generating UML Class Diagram from Natural Language Requirements: A Survey of Approaches and Techniques

10.1109/mi-sta52233.2021.9464433 ◽

2021 ◽

Author(s):

Esra A. Abdelnabi ◽

Abdelsalam M. Maatuk ◽

Mohammed Hagal

Keyword(s):

Natural Language ◽

Class Diagram ◽

Uml Class Diagram ◽

Towards a Synergistic Combination of Research and Practice in Software Engineering - Studies in Computational Intelligence ◽

Automatic Processing of Dynamic Business Rules Written in a Controlled Natural Language

10.1007/978-3-319-65208-5_7 ◽

2017 ◽

pp. 91-103

Author(s):

Bogumiła Hnatkowska ◽

Tomasz Gawęda

Keyword(s):

Natural Language ◽

Automatic Processing ◽

Business Rules ◽

Controlled Natural Language