From Natural Language Standard Documents to State Machines: Advantages and Drawbacks-Reference-Cited by-同舟云学术

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks

Published:2018-05 Issue:5 Volume:15 Page:271-281
ISSN:2327-3097
Container-title:Journal of Aerospace Information Systems
language:en
Short-container-title:Journal of Aerospace Information Systems

Author:

Greghi Juliana Galvani¹,Martins Eliane²,Carvalho Ariadne M. B. R.²,Ambrosio Ana Maria³,Villani Emília⁴

Affiliation:

1. University of Lavras, CEP 37200-000 Lavras, Minas Gerais, Brazil

2. University of Campinas, CEP 13083-852 Campinas, São Paulo, Brazil

3. National Institute of Space Research, CEP 12227-010, São José dos Campos, São Paulo, Brazil

4. Aeronautics Institute of Technology, CEP 12228-900, São José dos Campos, São Paulo, Brazil

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

https://arc.aiaa.org/doi/pdf/10.2514/1.I010525

Reference16 articles.

1. An Automated Approach to Transform Use Cases into Activity Diagrams

2. Translation of Textual Specifications to Automata by Means of Discourse Context Modeling

3. ECSS Working Group for Ground Systems and Operations, “Space Engineering: Ground Systems and Operations. Telemetry and Telecommand Packet Utilization,” Rept. ECSS-E-70-41A, ESA Publications Division, 2003.

4. PontesR. “Contribuições do Model Checking e da Metodologia CoFI para o Software Embarcado Espacial,” Master’s Thesis, Aeronautics Inst. of Technology, São José dos Campos, Brazil, 2011.

5. VérasP. “Benchmarking Software Requirements for Space Applications Documentation,” Ph.D. Thesis, Aeronautics Inst. of Technology, São José dos Campos, Brazil, 2011.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Novel Effectiveness Evaluation Method Based on Simultaneous Probabilistic Finite-State Machines;IEEE Systems Journal;2020-06