Formal Reasoning Techniques for Goal Models
暂无分享,去创建一个
John Mylopoulos | Paolo Giorgini | Roberto Sebastiani | Eleonora Nicchiarelli | P. Giorgini | J. Mylopoulos | R. Sebastiani | Eleonora Nicchiarelli
[1] John Mylopoulos,et al. Semantic models for knowledge management , 2001, Proceedings of the Second International Conference on Web Information Systems Engineering.
[2] Bart Selman,et al. Encoding Plans in Propositional Logic , 1996, KR.
[3] Allen Newell,et al. GPS, a program that simulates human thought , 1995 .
[4] Axel van Lamsweerde,et al. Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..
[5] Hermann Kaindl,et al. A design process based on a model combining scenarios with goals and functions , 2000, IEEE Trans. Syst. Man Cybern. Part A.
[6] Amedeo Cesta,et al. Recent Advances in AI Planning , 1997, Lecture Notes in Computer Science.
[7] John Mylopoulos,et al. Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..
[8] Colette Rolland,et al. Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..
[9] Annie I. Antón,et al. The use of goals to surface requirements for evolving systems , 1998, Proceedings of the 20th International Conference on Software Engineering.
[10] Barry W. Boehm,et al. Identifying quality-requirement conflicts , 1996, Proceedings of the Second International Conference on Requirements Engineering.
[11] Glenn Shafer,et al. A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.
[12] Annie I. Antón,et al. Goal-based requirements analysis , 1996, Proceedings of the Second International Conference on Requirements Engineering.
[13] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[14] Fausto Giunchiglia,et al. Calculating Criticalities , 1996, Artif. Intell..
[15] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[16] Nils J. Nilsson,et al. Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.
[17] C. Rolland,et al. GUIDING GOAL MODELLING USING SCENARIOS , 1998 .