Registro:

Referencias:

• Anton, A.I., (1997) Goal Identification and Refinement in the Specification of Software-Based Information Systems, , [Ant97], PhD thesis, Atlanta, GA, USA
• Alrajeh, D., Russo, A., Uchitel, S., Deriving non-zeno behavior models from goal models using ilp (2008) Proceedings of the ETAPS/FASE08 Conference on Foundation Aspects of Software Engineering, , [ARU08]
• Courtois, P.J., Parnas, D.L., Documentation for safety critical software (1993) Proceedings of the 15th ICSE Conference, pp. 315-323. , [CP93]
• Damas, C., Dupont, P., Lambeau, B., Van Lamsweerde, A., Generating annotated behavior models from end-user scenarios (2005) IEEE Trans on Softw Eng, 31 (12), pp. 1056-1073. , [DBLvL05]
• Damas, C., Lambeau, B., Van Lamsweerde, A., Scenarios, goals, and state machines: A win-win partnership for model synthesis (2006) Proceedings of the Interntional ACM Symposium on the Foundations of Software Engineering, , [DLvL06]
• Darimont, R., Van Lamsweerde, A., Formal refinement patterns for goal-driven requirements elaboration (1996) Proceedings of the 4th ACM Symposium on the Foundations of Software Engineering, , [DvL96]
• Dardenne, A., Van Lamsweerde, A., Fickas, S., Goal-directed requirements acquisition (1993) Sci Comput Program, 20 (1), pp. 3-50. , [DvLF93]
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proceedings of the 11th ACM SIGSOFT Symposium on Foundations Software Engineering, , [GM03]
• Giorgini, P., Mylopoulos, J., Sebastiani, R., Goal-oriented requirements analysis and reasoning in the tropos methodology (2005) Eng Appl Artif Intell, 18, pp. 159-171. , [GMS05]
• Heitmeyer, C., Bull, A., Gasarch, C., Labaw, B., Scr*: A toolset for specifying and analyzing requirements (1995) Proceedings of the 10th Annual Conference on Computer Assurance, , [HBGL95]
• Kramer, J., Magee, J., Sloman, M., Conic: An integrated approach to distributed computer control systems (1983) IEE Proceedings of the part E 130, , [KMS83]
• Letier, E., Goal-Oriented Elaboration of Requirements for a Safety Injection Control System (2002) Technical report,Dèpartement d'Ingènierie Informatique, UCL, , [Let02]
• Letier, E., Kramer, J., Magee, J., Uchitel, S., Fluent temporal logic for discrete-time in event-based models (2005) Proceedings of the 10th European Software Engineering Conference, , [LKMU05]
• Letier, E., Kramer, J., Magee, J., Uchitel, S., (2006) Deriving Event-based Transitions Systems from Goal-Oriented Requirements Models, , [LKMU06], Imperial College, London,Technical Report 02/2006
• Letier, E., Van Lamsweerde, A., Deriving operational software specifications from system goals (2002) Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, , [LL02]
• Letier, E., Van Lamsweerde, A., Agent-based tactics for goal-oriented requirements elaboration (2002) Proceedings of the 24th Intlernational Conference on Software Engineering, , [LvL02]
• Van Lamsweerde, A., Willemet, L., Inferring declarative requirements specifications from operational scenarios (1998) IEEE Trans Softw Eng, 24 (12), pp. 1089-1114. , [LW98]
• Magee, J., Kramer, J., (1999) Concurrency: State Models and Java Programs, , [MK99], Wiley, New York
• Manna, Z., Pnueli, A., (1992) The temporal Logic of Reactive and Concurrent Systems, , [MP92], Springer, New York
• Miller, R., Shanahan, M., Some alternative formulation of event calculus (2002) Computer Science; Computational Logic; Logic Programming and Beyond, 2408. , [MS02]
• Muggleton, S.H., (1995) Inverse Entailment and Progol: New Generation Computing, Special Issue on Inductive Logic Programming, 13 (3-4), pp. 245-286. , [Mug95]
• Ray, O., Nonmonotonic abductive inductive learning (2009) J Appl Logic, 7 (3), pp. 329-340. , [Ray09]
• Ray, O., Broda, K., Russo, A., A hybrid abductive inductive proof procedure (2004) Logic J IGPL, 12 (5), pp. 371-397. , [RBR04]
• Shanahan, M.P., (1997) Solving the Frame Problem, , [Sha97], MIT Press, Cambridge
• Sutcliffe, A., Maiden, N.A.M., Minocha, S., Manuel, D., Supporting scenario-based requirements engineering (1998) IEEE Trans Softw Eng, 24, pp. 1072-1088. , [SMMM98]
• Uchitel, S., Brunet G. Chechik, M., Behaviour model synthesis from properties and scenarios (2007) Proceedings of the 29th IEEE/ACM International Conference on Software Engineering, , [UBC07]

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------