A formally defined and formally provable EBNF-based constraint language for use in qualifiable software-Reference-Cited by-同舟云学术

A formally defined and formally provable EBNF-based constraint language for use in qualifiable software

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
language:
Short-container-title:

Author:

Tietz Vanessa¹,Annighoefer Bjoern¹

Affiliation:

1. University of Stuttgart, Stuttgart, Germany

Funder

German Federal Ministry of Economic Affairs and Climate Action

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3550356.3561552

Reference29 articles.

1. 1996. ISO/ IEC 14977:1996(E) Information technology --- Syntactic metalanguage --- Extended BNF. Technical Report . International Organization for Standardization , Geneva, Switzerland . 1996. ISO/IEC 14977:1996(E) Information technology --- Syntactic metalanguage --- Extended BNF. Technical Report. International Organization for Standardization, Geneva, Switzerland.

2. An Open Source Domain-Specific Avionics System Architecture Model for the Design Phase and Self-Organizing Avionics

3. EOQ: An Open Source Interface for a More DAMMMMN Domain-specific Model Utilization

4. The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges

5. Report on the algorithmic language ALGOL 60

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

1. Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version);Innovations in Systems and Software Engineering;2024-07-10

2. KAD: a knowledge formalization-based anomaly detection approach for distributed systems;Software Quality Journal;2024-05-10