-
1
-
-
0001853125
-
The computer for the 21st century
-
Weiser M (1991) The computer for the 21st century. Scientific American 265(3): 94-104.
-
(1991)
Scientific American
, vol.265
, Issue.3
, pp. 94-104
-
-
Weiser, M.1
-
5
-
-
3142750497
-
Tropos: an agent-oriented software development methodology
-
Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J (2004) Tropos: an agent-oriented software development methodology. Autonomous Agents Multi-Agent Syst 8(3): 203-236.
-
(2004)
Autonomous Agents Multi-Agent Syst
, vol.8
, Issue.3
, pp. 203-236
-
-
Bresciani, P.1
Perini, A.2
Giorgini, P.3
Giunchiglia, F.4
Mylopoulos, J.5
-
7
-
-
0010920417
-
From object-oriented to goal-oriented requirements analysis
-
Mylopoulos J, Chung L, Yu E(1999) From object-oriented to goal-oriented requirements analysis. Commun ACM 42(1): 31-37.
-
(1999)
Commun ACM
, vol.42
, Issue.1
, pp. 31-37
-
-
Mylopoulos, J.1
Chung, L.2
Yu, E.3
-
9
-
-
79451469033
-
-
In: Proceedings of SEAMS'08. ACM New York, NY, USA
-
Sykes D, Heaven W, Magee J, Kramer J (2008) From goals to components: a combined approach to self-management. In: Proceedings of SEAMS'08. ACM New York, NY, USA, pp 1-8.
-
(2008)
From goals to components: A combined approach to self-management
, pp. 1-8
-
-
Sykes, D.1
Heaven, W.2
Magee, J.3
Kramer, J.4
-
10
-
-
45849109952
-
Location-based variability for mobile information systems
-
Z. Bellahsene, M. Léonard (Eds.), Berlin: Springer
-
Ali R, Dalpiaz F, Giorgini P(2008) Location-based variability for mobile information systems. In: Bellahsene Z, Léonard M (eds) Proceedings of CAiSE'08, volume 5074 of LNCS. Springer, Berlin, pp 575-578.
-
(2008)
Proceedings of CAiSE'08, Volume 5074 of LNCS
, pp. 575-578
-
-
Ali, R.1
Dalpiaz, F.2
Giorgini, P.3
-
11
-
-
57049189719
-
Location-based software modeling and analysis: Tropos-based approach
-
Q. Li, S. Spaccapietra, E. S. K. Yu, A. Olivé (Eds.), Berlin: Springer
-
Ali R, Dalpiaz F, Giorgini P(2008) Location-based software modeling and analysis: Tropos-based approach. In: Li Q, Spaccapietra S, Yu ESK, Olivé A(eds) Proceedings of ER 2008 volume 5231 of LNCS. Springer, Berlin, pp 169-182.
-
(2008)
Proceedings of ER 2008 Volume 5231 of LNCS
, pp. 169-182
-
-
Ali, R.1
Dalpiaz, F.2
Giorgini, P.3
-
12
-
-
67249130374
-
-
In: Proceedings of EMMSAD 2009, vol 29 of LNBIP. Springer, Berlin
-
Ali R, Dalpiaz F, Giorgini P (2009) A goal modeling framework for self-contextualizable software. In: Proceedings of EMMSAD 2009, vol 29 of LNBIP. Springer, Berlin, pp 326-338.
-
(2009)
A goal modeling framework for self-contextualizable software
, pp. 326-338
-
-
Ali, R.1
Dalpiaz, F.2
Giorgini, P.3
-
13
-
-
84888096489
-
-
In: CAiSE'09 - Forum, vol 453, CEUR-WS
-
Ali R, Dalpiaz F, Giorgini P (2009) Goal-based self-contextualization. In: CAiSE'09 -Forum, vol 453, CEUR-WS, pp 37-42.
-
(2009)
Goal-based self-contextualization
, pp. 37-42
-
-
Ali, R.1
Dalpiaz, F.2
Giorgini, P.3
-
14
-
-
24544471200
-
Context in artificial intelligence: I. a survey of the literature
-
Brezillon P (1999) Context in artificial intelligence: I. a survey of the literature. Comput Artifi Intell 18: 321-340.
-
(1999)
Comput Artifi Intell
, vol.18
, pp. 321-340
-
-
Brezillon, P.1
-
15
-
-
84900830868
-
Understanding and using context
-
Dey AK (2001) Understanding and using context. Personal Ubiquitous Comput 5(1): 4-7.
-
(2001)
Personal Ubiquitous Comput
, vol.5
, Issue.1
, pp. 4-7
-
-
Dey, A.K.1
-
16
-
-
4644296350
-
Research areas and challenges for mobile information systems
-
Krogstie J, Lyytinen K, Opdahl AL, Pernici B, Siau K, Smolander K (2004) Research areas and challenges for mobile information systems. Int J Mobile Commun 2(3): 220-234.
-
(2004)
Int J Mobile Commun
, vol.2
, Issue.3
, pp. 220-234
-
-
Krogstie, J.1
Lyytinen, K.2
Opdahl, A.L.3
Pernici, B.4
Siau, K.5
Smolander, K.6
-
21
-
-
44649173108
-
-
In: Proceedings of ISMIS'08, vol 4994 of LNCS. Springer, Berlin
-
Yu Y, Lapouchnian A, Liaskos S, Mylopoulos J, Leite JCSP (2008) From goals to high-variability software design. In: Proceedings of ISMIS'08, vol 4994 of LNCS. Springer, Berlin, pp 1-16.
-
(2008)
From goals to high-variability software design.
, pp. 1-16
-
-
Yu, Y.1
Lapouchnian, A.2
Liaskos, S.3
Mylopoulos, J.4
Leite, J.C.S.P.5
-
22
-
-
69849110802
-
-
In: Proceedings of CAiSE'09, vol 5565 of LNCS. Springer, Berlin
-
Dalpiaz F, Giorgini P, Mylopoulos J (2009) An architecture for requirements-driven self-reconfiguration. In: Proceedings of CAiSE'09, vol 5565 of LNCS. Springer, Berlin, pp 246-260.
-
(2009)
An architecture for requirements-driven self-reconfiguration
, pp. 246-260
-
-
Dalpiaz, F.1
Giorgini, P.2
Mylopoulos, J.3
-
25
-
-
69949119133
-
-
Biere A, Heule M, van Maaren H, Walsh T (eds), In: Frontiers in artificial intelligence and applications, vol 185. IOS Press, Amsterdam
-
Biere A, Heule M, van Maaren H, Walsh T (eds) (2009) Handbook of satisfiability. In: Frontiers in artificial intelligence and applications, vol 185. IOS Press, Amsterdam.
-
(2009)
Handbook of satisfiability
-
-
-
27
-
-
69849116009
-
-
In: Proceedings of ASE 2007. ACM New York, NY, USA
-
Wang Y, McIlraith SA, Yu Y, Mylopoulos J (2007) An automated approach to monitoring and diagnosing requirements. In: Proceedings of ASE 2007. ACM New York, NY, USA, pp 293-302.
-
(2007)
An automated approach to monitoring and diagnosing requirements.
, pp. 293-302
-
-
Wang, Y.1
McIlraith, S.A.2
Yu, Y.3
Mylopoulos, J.4
-
29
-
-
84892351987
-
-
Berlin: Springer
-
Pohl K, Böckle G, van der Linden F (2005) Software Product line engineering: foundations, principles, and techniques. Springer, Berlin.
-
(2005)
Software Product Line Engineering: Foundations, Principles, and Techniques
-
-
Pohl, K.1
Böckle, G.2
van der Linden, F.3
-
30
-
-
0032343158
-
Form: a feature-oriented reuse method with domain-specific reference architectures
-
Kang KC, Kim S, Lee J, Kim K, Shin E, Huh M (1998) Form: a feature-oriented reuse method with domain-specific reference architectures. Ann Softw Eng 5: 143-168.
-
(1998)
Ann Softw Eng
, vol.5
, pp. 143-168
-
-
Kyo, C.K.1
Kim, S.2
Lee, J.3
Kim, K.4
Shin, E.5
Huh, M.6
-
31
-
-
56749161065
-
-
In: Proceedings of SAC 2008. ACM New York, N Y, USA
-
Yu Y, do Prado Leite JCS, Lapouchnian A, Mylopoulos J (2008) Configuring features with stakeholder goals. In: Proceedings of SAC 2008. ACM New York, N Y, USA, pp 645-649.
-
(2008)
Configuring features with stakeholder goals.
, pp. 645-649
-
-
Yu, Y.1
do Prado Leite, J.C.S.2
Lapouchnian, A.3
Mylopoulos, J.4
-
32
-
-
15244350148
-
Commonality and variability analysis in industrial practice for product line improvement
-
Ramachandran M, Allen P (2005) Commonality and variability analysis in industrial practice for product line improvement. Softw Proc: Improve Pract 109(1): 31-40.
-
(2005)
Softw Proc: Improve Pract
, vol.109
, Issue.1
, pp. 31-40
-
-
Ramachandran, M.1
Allen, P.2
-
33
-
-
85027197002
-
-
In: IWSSD'98. Association for Computing Machinery, Inc, One Astor Plaza, 1515 Broadway, New York, N Y, 10036-5701, USA
-
Feather MS, Fickas S, van Lamsweerde A, Ponsard C (1998) Reconciling system requirements and runtime behavior. In: IWSSD'98. Association for Computing Machinery, Inc, One Astor Plaza, 1515 Broadway, New York, N Y, 10036-5701, USA.
-
(1998)
Reconciling system requirements and runtime behavior.
-
-
Feather, M.S.1
Fickas, S.2
van Lamsweerde, A.3
Ponsard, C.4
-
34
-
-
0030615546
-
-
In: Proceedings of ICSE 1997. ACM New York, N Y, USA
-
Cohen D, Feather MS, Narayanaswamy K, Fickas SS (1997) Automatic monitoring of software requirements. In: Proceedings of ICSE 1997. ACM New York, N Y, USA, pp 602-603.
-
(1997)
Automatic monitoring of software requirements.
, pp. 602-603
-
-
Cohen, D.1
Feather, M.S.2
Narayanaswamy, K.3
Fickas, S.S.4
-
36
-
-
72949105555
-
-
Technical report, Department of Computer Science, University of Toronto
-
Liaskos S, McIlraith S, Mylopoulos J (2006) Representing and reasoning with preference requirements using goals. Technical report, Department of Computer Science, University of Toronto, ftp://ftp. cs. toronto. edu/pub/reports/csrg/542.
-
(2006)
Representing and reasoning with preference requirements using goals.
-
-
Liaskos, S.1
McIlraith, S.2
Mylopoulos, J.3
-
38
-
-
34748898500
-
-
In: Proceedings of RE 2006. IEEE Computer Society
-
Liaskos S, Lapouchnian A, Yu Y, Yu E, Mylopoulos J (2006) On goal-based variability acquisition and analysis. In: Proceedings of RE 2006. IEEE Computer Society, pp 76-85.
-
(2006)
On goal-based variability acquisition and analysis.
, pp. 76-85
-
-
Liaskos, S.1
Lapouchnian, A.2
Yu, Y.3
Yu, E.4
Mylopoulos, J.5
-
39
-
-
84974691155
-
-
In: Proceedings of ER 2002, volume 2503 of LNCS. Springer, Berlin
-
Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2002) Reasoning with goal models. In: Proceedings of ER 2002, volume 2503 of LNCS. Springer, Berlin, pp 167-181.
-
(2002)
Reasoning with goal models.
, pp. 167-181
-
-
Giorgini, P.1
Mylopoulos, J.2
Nicchiarelli, E.3
Sebastiani, R.4
-
41
-
-
34249004734
-
Secure tropos: a security-oriented extension of the tropos methodology
-
Mouratidis H, Giorgini P (2007) Secure tropos: a security-oriented extension of the tropos methodology. Int J Softw Eng Knowledge Eng 17(2): 285-309.
-
(2007)
Int J Softw Eng Knowledge Eng
, vol.17
, Issue.2
, pp. 285-309
-
-
Mouratidis, H.1
Giorgini, P.2
|