Task Specification and Reasoning in Dynamically Altered Contexts

George Chatzikonstantinou, Michael Athanasopoulos, Kostas Kontogiannis. Task Specification and Reasoning in Dynamically Altered Contexts. In Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff, editors, Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings. Volume 8484 of Lecture Notes in Computer Science, pages 625-639, Springer, 2014. [doi]

Abstract

Abstract is missing.