-
2
-
-
3142750497
-
Tropos: An agent-oriented software development methodology
-
DOI 10.1023/B:AGNT.0000018806.20944.ef
-
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203-236, 2004. (Pubitemid 39019798)
-
(2004)
Autonomous Agents and Multi-Agent Systems
, vol.8
, Issue.3
, pp. 203-236
-
-
Bresciani, P.1
Perini, A.2
Giorgini, P.3
Giunchiglia, F.4
Mylopoulos, J.5
-
3
-
-
70350033987
-
Software engineering for self-adaptive systems: A research roadmap
-
B. Cheng et al. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems, 5525/2009:1-26, 2009.
-
(2009)
Software Engineering for Self-adaptive Systems
, vol.5525
, Issue.2009
, pp. 1-26
-
-
Cheng, B.1
-
5
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
Los Angeles, USA ACM Press
-
M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 411-420, Los Angeles, USA, 1999. ACM Press.
-
(1999)
ICSE '99: Proceedings of the 21st International Conference on Software Engineering
, pp. 411-420
-
-
Dwyer, M.B.1
Avrunin, G.S.2
Corbett, J.C.3
-
7
-
-
0242652022
-
Design science in information systems research
-
A. R. Hevner, S. T. March, J. Park, and S. Ram. Design science in information systems research. MIS Quarterly, 28(1):75-105, 2004.
-
(2004)
MIS Quarterly
, vol.28
, Issue.1
, pp. 75-105
-
-
Hevner, A.R.1
March, S.T.2
Park, J.3
Ram, S.4
-
8
-
-
58149173386
-
Revisiting the core ontology and problem in requirements engineering
-
Barcelona, Spain IEEE
-
I. J. Jureta, J. Mylopoulos, and S. Faulkner. Revisiting the Core Ontology and Problem in Requirements Engineering. In RE '08: 16th IEEE International Requirements Engineering Conference, pages 71-80, Barcelona, Spain, 2008. IEEE.
-
(2008)
RE '08: 16th IEEE International Requirements Engineering Conference
, pp. 71-80
-
-
Jureta, I.J.1
Mylopoulos, J.2
Faulkner, S.3
-
9
-
-
0037253062
-
The vision of autonomic computing
-
J. O. Kephart and D. M. Chess. The vision of autonomic computing. Computer, 36(1):41-50, 2003.
-
(2003)
Computer
, vol.36
, Issue.1
, pp. 41-50
-
-
Kephart, J.O.1
Chess, D.M.2
-
10
-
-
20344363679
-
Reasoning about partial goal satisfaction for requirements and design engineering
-
Twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2004/FSE-12
-
E. Letier and A. van Lamsweerde. Reasoning about partial goal satisfaction for requirements and design engineering. In SIGSOFT '04/FSE-12: 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 53-62, 2004. (Pubitemid 40787567)
-
(2004)
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 53-62
-
-
Letier, E.1
Van Lamsweerde, A.2
-
11
-
-
31044446470
-
A requirements monitoring framework for enterprise systems
-
DOI 10.1007/s00766-005-0016-3
-
W. N. Robinson. A requirements monitoring framework for enterprise systems. Requirements Engineering, 11(1):17-41, Mar. 2006. (Pubitemid 43118933)
-
(2006)
Requirements Engineering
, vol.11
, Issue.1
, pp. 17-41
-
-
Robinson, W.N.1
-
13
-
-
84876565599
-
Designs can talk: A case of feedback for design evolution in assistive technology
-
W. A. et al., editor Springer
-
W. N. Robinson and S. Fickas. Designs can talk: A case of feedback for design evolution in assistive technology. In W. A. et al., editor, Design Requirements Engineering: A Ten-Year Perspective, volume 14 of Lecture Notes in Business Information Processing, pages 215-237. Springer, 2009.
-
(2009)
Design Requirements Engineering: A Ten-year Perspective, Volume 14 of Lecture Notes in Business Information Processing
, pp. 215-237
-
-
Robinson, W.N.1
Fickas, S.2
-
17
-
-
73549119249
-
RELAX: Incorporating uncertainty into the specification of self-adaptive systems
-
Atlanta, USA IEEE
-
J. Whittle, P. Sawyer, N. Bencomo, B. H. Cheng, and J.-M. Bruel. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In RE '09: Proceedings of the 17th IEEE International Requirements Engineering Conference, pages 79-88, Atlanta, USA, 2009. IEEE.
-
(2009)
RE '09: Proceedings of the 17th IEEE International Requirements Engineering Conference
, pp. 79-88
-
-
Whittle, J.1
Sawyer, P.2
Bencomo, N.3
Cheng, B.H.4
Bruel, J.-M.5
|