PhD Dissertations and Master's Theses 12-2020 Scenario-Based Development and Verification of Domain-Specific Languages Bharvi Chhaya Follow this and additional works at: https://commons.erau.edu/edt Part of the Electrical and Computer Engineering Commons Scholarly Commons Citation Chhaya, Bharvi, "Scenario-Based Development and Verification of Domain-Specific Languages" (2020). PhD Dissertations and Master's Theses. 550. https://commons.erau.edu/edt/550 This Dissertation - Open Access is brought to you for free and open access by Scholarly Commons. It has been accepted for inclusion in PhD Dissertations and Master's Theses by an authorized administrator of Scholarly Commons. For more information, please contact
[email protected]. SCENARIO-BASED DEVELOPMENT AND VERIFICATION OF DOMAIN-SPECIFIC LANGUAGES by Bharvi Chhaya A dissertation submitted to the Faculty of Embry-Riddle Aeronautical University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical Engineering and Computer Science Embry-Riddle Aeronautical University Daytona Beach, Florida December 2020 i SCENARIO-BASED DEVELOPMENT AND VERIFICATION OF DOMAIN-SPECIFIC LANGUAGES by Bharvi Chhaya This dissertation was prepared under the direction of the candidate’s Dissertation Committee Chair, Dr. Shafagh Jafer, and has been approved by the members of the dissertation committee. It was submitted to the College of Engineering and accepted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy in Electrical Engineering and Computer Science. Digitally signed by Digitally signed by Nickolas D. Macchiarella Shafagh Shafagh Jafer Nickolas D. DN: cn=Nickolas D. Macchiarella, o=Embry- Riddle Aeronautical Univ., ou=Aeronautical Date: 2020.12.02 Science,
[email protected], c=US Date: 2020.12.02 12:00:15 -05'00' Jafer_____________________11:50:24 -05'00' _ ___Macchiarella___________________ Shafagh Jafer, Ph.D.