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)
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| 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 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Creators: | Ajit, Suraj, Olajubu, Oyindamola, Thomson, Scott and Edwards, Mark |
| Editors: | Grov, Gudmund and Ireland, Andrew |
| Faculties, Divisions and Institutes: |
University Faculties, Divisions and Research Centres - OLD > Research Group > Advanced Technologies Research Group Faculties > Faculty of Arts, Science & Technology > Computing |
| 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: | |
| URI: | http://nectar.northampton.ac.uk/id/eprint/7754 |
Actions (login required)
 |
Edit Item |
Altmetric
Altmetric
Altmetric