Ajit, S., Olajubu, O., Thomson, S. and Edwards, M. (2015) Model transformation of high-level requirements in a domain specific language into a formal specification language. Paper presented to: 15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Edinburgh, 01-04 September 2015. (Unpublished)
- Information
Information
Abstract:
This paper provides a brief context of current work being done in an industrial research project that involves automated transformation of high-level requirements expressed in a Domain Specific Language into test cases. The paper introduces a research idea/approach and outlines relevant research questions/challenges. Finally, the paper briefly discusses related work in this area.
Uncontrolled Keywords:
Formal methods, model, transformation, software engineering
Creators:
Ajit, S., Olajubu, O., Thomson, S. and Edwards, M.
Editors:
Grov, G. and Ireland, A.
Faculties, Divisions and Institutes:
Date:
2 September 2015
Date Type:
Presentation
Event Title:
15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015)
Event Dates:
01-04 September 2015
Event Location:
Edinburgh
Event Type:
Workshop
Language:
English
Status:
Unpublished
Refereed:
Yes
Institution:
Heriot Watt University
Related URLs:
 |