Publications

Export 2 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Alrajeh, Dalal  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
R. Degiovanni, D. Alrajeh, N. Aguirre, and S. Uchitel, “Automated goal operationalisation based on interpolation and {SAT} solving”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
G
D. Alrajeh, J. Kramer, A. Van Lamsweerde, A. Russo, and S. Uchitel, “Generating obstacle conditions for requirements completeness”, in Software Engineering (ICSE), 2012 34th International Conference on, 2012, p. 705-715.