-
1
-
-
3142750497
-
Tropos: An agent-oriented software development methodology
-
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) (2004) 203-236
-
(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
-
2
-
-
0034291619
-
Handling obstacles in goal-oriented requirements engineering
-
van Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-Oriented Requirements Engineering. IEEE Transaction Software Engineering 26(10) (2000) 978-1005
-
(2000)
IEEE Transaction Software Engineering
, vol.26
, Issue.10
, pp. 978-1005
-
-
Van Lamsweerde, A.1
Letier, E.2
-
3
-
-
79955521515
-
Fault tree handbook with aerospace applications
-
Stamatelatos, M., Vesely, W., Dugan, J., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA (2002)
-
(2002)
NASA
-
-
Stamatelatos, M.1
Vesely, W.2
Dugan, J.3
Fragola, J.4
Minarick, J.5
Railsback, J.6
-
6
-
-
0027574423
-
Goal-directed requirements acquisition
-
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming 20 (1993) 3-50
-
(1993)
Science of Computer Programming
, vol.20
, pp. 3-50
-
-
Dardenne, A.1
Van Lamsweerde, A.2
Fickas, S.3
-
7
-
-
0029707819
-
Goal-based requirements analysis
-
Washington, DC, USA, IEEE Computer Society
-
Anton, A.I.: Goal-Based Requirements Analysis. In: ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering, Washington, DC, USA, IEEE Computer Society (1996) 136
-
(1996)
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering
, pp. 136
-
-
Anton, A.I.1
-
9
-
-
27844516784
-
Formal reasoning techniques for goal models
-
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. Journal of Data Semantics (2003)
-
(2003)
Journal of Data Semantics
-
-
Giorgini, P.1
Mylopoulos, J.2
Nicchiarelli, E.3
Sebastiani, R.4
-
10
-
-
35048899193
-
Simple and minimum-cost satisfiability for goal models
-
Springer
-
Giorgini, P., Mylopoulos, J., Sebastiani, R.: Simple and Minimum-Cost Satisfiability for Goal Models. In: CAISE '04: In Proceedings International Conference on Advanced Information Systems Engineering. Volume 3084., Springer (2004) 20-33
-
(2004)
CAISE '04: In Proceedings International Conference on Advanced Information Systems Engineering
, vol.3084
, pp. 20-33
-
-
Giorgini, P.1
Mylopoulos, J.2
Sebastiani, R.3
-
13
-
-
0032203918
-
Managing conflicts in goal-driven requirements engineering
-
van Lamsweerde, A., Letier, E., Darimont, R.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transaction Software Engineering 24(11) (1998) 908-926
-
(1998)
IEEE Transaction Software Engineering
, vol.24
, Issue.11
, pp. 908-926
-
-
Van Lamsweerde, A.1
Letier, E.2
Darimont, R.3
-
14
-
-
0242650673
-
Taxonomy-based risk identification
-
Ulrich Carr 1993, F.C.: ESC-TR-93-183, Software Engineering Institute, Carnegie Mellon University
-
Carr, M.J., Konda, S.L., Monarch, I., Ulrich Carr 1993, F.C.: Taxonomy-Based Risk Identification. Technical Report CMU/SEI-93-TR-6, ESC-TR-93-183, Software Engineering Institute, Carnegie Mellon University (1993)
-
(1993)
Technical Report CMU/SEI-93-TR-6
-
-
Carr, M.J.1
Konda, S.L.2
Monarch, I.3
-
16
-
-
1542385327
-
A quantitative risk model for early lifecycle decision making
-
Feather, M.S., Cornford, S.L., Dunphy, J., Hicks, K.: A quantitative risk model for early lifecycle decision making. In: Proceedings of the Conference on Integrated Design and Process Technology. (2002)
-
(2002)
Proceedings of the Conference on Integrated Design and Process Technology
-
-
Feather, M.S.1
Cornford, S.L.2
Dunphy, J.3
Hicks, K.4
-
18
-
-
14044264354
-
-
Fuxman, A., Kazhamiakin, R., Pistore, M., Roveri., M.: Formal Tropos: language and semantics. http://trinity.dit.unitn.it/?tropos/papers files/ftsem03.pdf (2003)
-
(2003)
Formal Tropos: Language and Semantics.
-
-
Fuxman, A.1
Kazhamiakin, R.2
Pistore, M.3
Roveri, M.4
|