Registro:

Referencias:

• Alrajeh, D., Ray, O., Russo, A., Uchitel, S., Extracting requirements from scenarios with ILP (2006) Proc. of 16th Int. Conference on Inductive Logic Programming, pp. 63-77
• Alrajeh, D., Russo, A., Uchitel, S., Inferring operational requirements from scenarios and goal models using inductive learning (2006) SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, pp. 29-36. , ACM, New York
• Damas, C., Dupont, P., Lambeau, B., van Lamsweerde, A., Generating annotated behavior models from end-user scenarios (2005) IEEE Transactions on Software Engineering, 31 (12), pp. 1056-1073. , Special Issue on Interaction and State-based Modelling
• Damas, C., Lambeau, B., van Lamsweerde, A., Scenarios, goals, and state machines: a win-win partnership for model synthesis (2006) SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 197-207. , ACM, New York
• Gelfond, M., Lifschitz, V., The stable model semantics for logic programming (1988) Proc. of 5th Int. Conference on Logic Programming, pp. 1070-1080. , R.A. Kowalski, K. Bowen Eds
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) ESEC/FSE-11: Proceedings of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 257-266. , ACM
• Kowalski, R.A., Sergot, M., A logic-based calculus of events (1986) New Generation Computing, 4 (1), pp. 67-95
• Kramer, J., Magee, J., Sloman, M., Conic: An integrated approach to distributed computer control systems (1983) IEE Proceedings (Part E), 130, pp. 1-10
• Van Lamsweerde, A., Goal-oriented requirements engineering: A guided tour (2001) Proc. of 5th IEEE Int. Symposium on Requirements Engineering, pp. 249-263
• Van Lamsweerde, A., Willemet, L., Inferring declarative requirements specifications from operational scenarios (1998) IEEE Transactions on Software Engineering, 24 (12), pp. 1089-1114
• Letier, E., Kramer, J., Magee, J., Uchitel, S., Deriving event-based transitions systems from goal-oriented requirements models (2005), Technical Report 2006/2, Imperial College London; Letier, E., Van Lamsweerde, A., Deriving operational software specifications from system goals (2002) Proc. of 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 119-128
• Lorenzo, D., (2001), Learning non-monotonic logic programs to reason about actions and change, PhD thesis, University of Coruna; Magee, J., Kramer, J., (1999) Concurrency: State Models and Java Programs, , John Wiley and Sons
• Manna, Z., Pnueli, A., (1992) The Temporal Logic of Reactive and Concurrent Systems, , Springer
• Miller, R., Shanahan, M., Some alternative formulations of event calculus (2002) Computer Science; Computational Logic; Logic Programming and Beyond
• Moyle, S., (2003) An investigation into theory completion techniques in ILP, , PhD thesis, University of Oxford
• Moyle, S., Muggleton, S., Learning programs in the event calculus (1997) Proc. of 7th Int. Workshop on Inductive Logic Programming
• Muggleton, S.H., Inverse entailment and Progol (1995) New Generation Computing, Special issue on Inductive Logic Programming, 13 (3-4), pp. 245-286
• Muggleton, S.H., Bryant, C.H., Theory completion using inverse entailment (2000) Proc. of 10th Int. Conference on Inductive Logic Programming, pp. 130-146
• Muggleton, S.H., De Raedt, L., Inductive logic programming: Theory and methods (1994) Journal of Logic Programming, 19-20, pp. 629-679
• Otero, R., Embracing causality in inducing the effects of actions (2004) Lecture Notes in Computer Science, 3040-2004, pp. 291-301. , Selected Papers from the 10th Conference of the Spanish Association for Artificial Intelligence (CAEPIA03), Springer, Berlin/Heldelberg
• Ray, O., (2005) Hybrid abductive-inductive learning, , PhD thesis, Imperial College London
• Ray, O., Using abduction for induction of normal logic programs (2006) Proc. of ECAI'06 Workshop on Abduction and Induction in AI and Scientific Modelling, pp. 28-31
• Russo, A., Miller, R., Nuseibeh, B., Kramer, J., An abductive approach for analysing event-based requirements specifications (2002) Proc. of 18th Int. Conference on Logic Programming, pp. 22-37
• Sakama, C., Induction from answer sets in non-monotonic logic programs (2005) ACM Transactions on Computational Logic, 6 (2), pp. 203-231
• Shanahan, M.P., (1997) Solving the Frame Problem, , MIT Press
• Stirling, C., Comparing linear and branching time temporal logics (1987) Temporal Logics in Specification, pp. 1-20
• Sutcliffe, A., Maiden, N.A.M., Minocha, S., Manuel, D., Supporting scenario-based requirements engineering (1998) IEEE Transactions on Software Engineering, 24, pp. 1072-1088

Citas:

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

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

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

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