Model transformation of high-level requirements in a domain specific language into a formal specification language

Suraj Ajit, Oyindamola Olajubu, Scott Thomson, Mark Edwards, Gudmund Grov (Editor), Andrew Ireland (Editor)

Research output: Contribution to ConferencePaper

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 languageEnglish
Publication statusAccepted/In press - 15 Aug 2015
EventWorkshop - Cambridge Veterinary School
Duration: 25 Jan 2016 → …

Workshop

WorkshopWorkshop
Period25/01/16 → …

    Fingerprint

Keywords

  • Formal methods
  • model
  • transformation
  • software engineering

Cite this

Ajit, S., Olajubu, O., Thomson, S., Edwards, M., Grov, G. (Ed.), & Ireland, A. (Ed.) (Accepted/In press). Model transformation of high-level requirements in a domain specific language into a formal specification language. Paper presented at Workshop, .