Information Technology Reference
In-Depth Information
9. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software.
IEEE Computer 37(7), 56-64 (2004)
10. Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J.,
Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43-54. Springer, Heidelberg (2005)
11. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state
verification. In: Proceedings of the 21st International Conference on Software Engineering
(ICSE 1999), Los Alamitos, CA, USA, pp. 411-420 (1999)
12. Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In:
Proceedings of the 10th International Conference on Principles of Knowledge Representation
and Reasoning (KR 2006), Lake District, UK, pp. 134-144 (2006)
13. Liaskos, S., Litoiu, M., Jungblut, M.D., Mylopoulos, J.: Goal-based Behavioral Customiza-
tion of Information Systems. Technical Report CSE-2010-10, York University (2010)
14. Sohrabi, S., Baier, J.A., McIlraith, S.: HTN planning with preferences. In: Proceedings of the
21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, CA,
USA, pp. 1790-1797 (2009)
15. Zhang, J., Cheng, B.H.C.: Using temporal logic to specify adaptive program semantics. Jour-
nal of Systems and Software (Special Issue on Architecting Dependable Systems) 79(10),
1361-1369 (2006)
16. Brown, G., Cheng, B.H.C., Goldsby, H., Zhang, J.: Goal-oriented specification of adapta-
tion requirements engineering in adaptive systems. In: Proceedings of the 2006 Interna-
tional Workshop on Self-Adaptation and Self-Managing Systems (SEAMS 2006), pp. 23-29.
ACM, New York (2006)
17. Simmons, B.: Strategy-trees: A Novel Approach to Policy-Based Management. PhD thesis,
University of Western Ontario (February 2010)
18. Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-driven design and configuration
management of business processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM
2007. LNCS, vol. 4714, pp. 246-261. Springer, Heidelberg (2007)
19. Lu, R., Sadiq, S., Governatori, G.: On managing business processes variants. Data and
Knowledge Engineering 68(7), 642-664 (2009)
20. Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., La Rosa, M.: Configurable
workflow models. International Journal of Cooperative Information Systems (IJCIS) 17(02),
177-221 (2008)
21. Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints
for flexible workflows. Information Systems 30(5), 349 (2005)
22. Sutcliffe, A.G., Maiden, N.A.M., Minocha, S., Manuel, D.: Supporting scenario-based re-
quirements engineering. IEEE Transactions on Software Engineering 24(12), 1072-1088
(1998)
23. Baresi, L., Pasquale, L.: Live goals for adaptive service compositions. In: Proceedings of the
2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
(SEAMS 2010), pp. 114-123 (2010)
24. Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In: Proceedings of
the 25th International Conference on Software Engineering (ICSE 2003), Washington, DC,
USA, pp. 187-197 (2003)
25. Apel, S., Kastner, C., Lengauer, C.: Featurehouse: Language-independent, automated soft-
ware composition. In: Proceedings of the 31st International Conference on Software Engi-
neering (ICSE 2009), pp. 221-231 (2009)
26. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-m., Irwin, J.:
Aspect-oriented programming. In: Liu, Y., Auletta, V. (eds.) ECOOP 1997. LNCS, vol. 1241,
p. 313. Springer, Heidelberg (1997)
