From goals to high-variability software design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4994 LNAI, Issue , 2008, Pages 1-16

  Yu, Yijun ^a   Lapouchnian, Alexei ^b   Liaskos, Sotirios ^c   Mylopoulos, John ^b   Leite, Julio C S P ^d  

^a OPEN UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF TORONTO   (Canada)

^c YORK UNIVERSITY   (Canada)

^d PUC Rio   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; SOFTWARE ARCHITECTURE; SPECIFICATIONS;

GENERIC SOFTWARE DESIGN; STAKEHOLDER;

REQUIREMENTS ENGINEERING;

EID: 44649173108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68123-6_1     Document Type: Conference Paper

References (34)

1. Brandozzi, M., Perry, D.E.: Transforming goal oriented requirements specifications into architectural prescriptions. In: STRAW at ICSE 2001 (2001)
2. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203-236 (2004)
3. Bühne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: RE 2005, pp. 41-50 (2005)
4. Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, Dordrecht (2000)
5. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2001)
6. Cysneiros, L.M., Leite, J.C.S.P.: Non-functional requirements: from elicitation to conceptual models. IEEE Trans. on Softw. Eng. 30(5), 328-350 (2004)
7. Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
8. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20( 1-2), 3-50 (1993)
9. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 167-181. Springer, Heidelberg (2002)
10. Halmans, G., Pohl, K.: Communicating the variability of a software-product family to customers. Software and Systems Modeling 2, 15-36 (2003)
11. Harel, D., Naamad, A.: The statemate semantics of Statecharts. ACM Trans. on Software Engineering and Methodology 5(4), 293-333 (1996)
12. Hayes, J.H., Dekhtyar, A., Sundaram, S.K.: Advancing candidate link generation for requirements tracing: the study of methods. IEEE Trans. on Softw. Eng. 32(1), 4-19 (2006)
13. Hui, B., Liaskos, S., Mylopoulos, J.: Goal skills and preference framework. In: International Conference on Requirements Engineering (2003)
14. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study (cmu/sei-90-tr-21, ada235785). Technical report (1990)
15. Kang, K.C., Kim, S., Lee, J., Lee, K.: Feature-oriented engineering of PBX software for adaptability and reuseability. SPE 29(10), 875-896 (1999)
16. Knuth, D.: Literate programming. Comput. J. 27(2), 97-111 (1984)
17. Kruntchen, P.: Architectural blueprints - the "4+1" view model of software architecture. IEEE Software 12(6), 42-50 (1995)
18. Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. In: DEAS 2005, pp. 1-7. ACM Press, New York (2005)
19. 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)
20. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: The 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 3-14 (1996)
21. Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. SIGSOFT Softw. Eng. Notes 22(6), 60-76 (1997)
22. Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans, on Softw. Eng. 18(6), 483-497 (1992)
23. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20-35. Springer, Heidelberg (2004)
24. Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19-25 (2003)
25. van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, Springer, Heidelberg (2003)
26. van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: ICSE 2003, pp. 744-745 (2003)
27. van Lamsweerde, A., Willemet, L.: Inferring declarative requirements from operational scenarios. IEEE Trans. Software Engineering 24(12), 1089-1114 (1998)
28. van Ommering, R.C., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer 33(3), 78-85 (2000)
29. Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: ASE, pp. 293-302 (2007)
30. Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: RE 1997, pp. 226-235 (1997)
31. Yu, Y., Lapouchnian, A., Leite, J., Mylopoulos, J.: Configuring features with stakeholder goals. In: ACM SAC RETrack 2008 (2008)
32. Yu, Y., Leite, J., Mylopoulos, J.: From requirements goal models to goal aspects. In: International Conference on Requirements Engineering (2004)
33. Yu, Y., Mylopoulos, J., Lapouchnian, A., Liaskos, S., Leite, J.C.: From stakeholder goals to high-variability software design, ftp.cs.toronto.edu/csrg- technical-reports/509. Technical report, University of Toronto (2005)
34. Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: RE 2005, pp. 363-372 (2005)