Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Automated Goal Operationalisation Based on Interpolation and SAT Solving
File(s)
Author(s)
Degiovanni, Renzo
Alrajeh, Dalal
Aguirre, Nazareno
Uchitel, Sebastian
Type
Conference Paper
Date Issued
2014
Citation
Proceedings of the 36th International Conference on Software Engineering, 2014, pp.129-139
URI
URL
DOI
ISBN
978-1-4503-2756-5
Publisher
ACM
Start Page
129
End Page
139
Journal / Book Title
Proceedings of the 36th International Conference on Software Engineering
Copyright Statement
© ACM, 1014. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ICSE '14 36th International Conference on Software Engineering
Hyderabad, India — May 31 - June 07, 2014 https://dx.doi.org/10.1145/2568225.2568323
License URL
Identifier
http://doi.acm.org/10.1145/2568225.2568323
Notes
location: Hyderabad, India numpages: 11 acmid: 2568323 keywords: Craig Interpolation, Requirements Engineering, SAT solving
Publisher URL