Automated goal operationalisation based on interpolation and sat solving

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel
ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering, page 129--139 - may 2014
Download the publication : Automated Goal Operationalisation.pdf [362Ko]  

BibTex references

@InProceedings\{DAAU14,
  author       = "Degiovanni, Renzo and Alrajeh, Dalal and Aguirre, Nazareno and Uchitel, Sebastian",
  title        = "Automated goal operationalisation based on interpolation and sat solving",
  booktitle    = "ICSE 2014, Proceedings of the 2014 International Conference on Software Engineering",
  pages        = "129--139",
  month        = "may",
  year         = "2014",
  publisher    = "ACM New York",
  note         = "ISBN 978-1-4503-2756-5",
  url          = "http://publicaciones.dc.uba.ar/Publications/2014/DAAU14"
}

Other publications in the database

» Renzo Degiovanni
» Dalal Alrajeh
» Nazareno Aguirre
» Sebastian Uchitel