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.
| Original language | English |
|---|---|
| Publication status | Accepted/In press - 15 Aug 2015 |
| Event | The 21st LRN Annual Conference and PhD Workshop 2016 - Cambridge Veterinary School, United Kingdom Duration: 7 Sept 2016 → 9 Sept 2016 https://ciltuk.org.uk/About-Us/Professional-Sectors-Forums/Forums/Logistics-Research-Network/LRN-2016 (The 2016 Conference theme focused on work involving ethical issues in relation to supply chain management and logistics operations. The Conference demonstrated the current, promising research work within the theme in terms of its trends, challenges, and opportunities, so as to discover and explore new research directions for the research community and the practitioners. The Seed Corn research fund, assisted in this research quest, by supporting small scale research projects in universities. The research fund is set up to provide a small research grant on a ‘seed corn’ basis to enable supply chain, logistics and transport researchers in the UK and Ireland to explore issues of current and academic interest.) |
Conference
| Conference | The 21st LRN Annual Conference and PhD Workshop 2016 |
|---|---|
| Country/Territory | United Kingdom |
| Period | 7/09/16 → 9/09/16 |
| Other | The 2016 Conference theme focused on work involving ethical issues in relation to supply chain management and logistics operations. The Conference demonstrated the current, promising research work within the theme in terms of its trends, challenges, and opportunities, so as to discover and explore new research directions for the research community and the practitioners. The Seed Corn research fund, assisted in this research quest, by supporting small scale research projects in universities. The research fund is set up to provide a small research grant on a ‘seed corn’ basis to enable supply chain, logistics and transport researchers in the UK and Ireland to explore issues of current and academic interest. |
| Internet address |
|
Keywords
- Formal methods
- model
- transformation
- software engineering