Registro:

Referencias:

• Alrajeh, D., Craven, R., Automated error-detection and repair for compositional software specifications (2014) Proceedings of the 12th International Conference on Software Engineering and Formal Methods, pp. 111-127
• Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Learning operational requirements from goal models (2009) Proceedings of 31st International Conference on Software Engineering, pp. 265-275
• Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Deriving non-zeno behaviour models from goal models using ILP (2010) Journal on Formal Aspects of Computing, 22, pp. 217-241
• Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Learning from vacuously satisáble scenario-based specifications (2012) Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, pp. 377-393
• Alrajeh, D., Kramer, J., Russo, A., Uchitel, S., Automated support for diagnosis and repair (2015) Communications of the ACM, 58 (2), pp. 65-72
• Alrajeh, D., Kramer, J., Van Lamsweerde, A., Russo, A., Uchitel, S., Generating obstacle conditions for requirements completeness (2012) Proceedings of the 34th International Conference on Software Engineering, pp. 705-715
• Anton, A., Potts, C., The use of goals to surface requirements for evolving systems (1998) Proceedings of the International Conference on Software Engineering, pp. 157-166
• Asnar, Y., Giorgini, P., Mylopoulos, J., Goal-driven risk assessment in requirements engineering (2011) Requirements Engineering, 16 (2), pp. 101-116
• Athakravi, D., Alrajeh, D., Broda, B., Russo, A., Inductive learning using constraint-driven bias (2014) Proceedings of the 24th International Conference on Inductive Logic Programming
• Athakravi, D., Corapi, D., Broda, K., Russo, A., Learning through hypothesis refinement using answer set programming (2013) Proceedings of the 23rd International Conference on Inductive Logic Programming, pp. 31-46
• Bedford, T., Cooke, R., (2001) Probabilistic Risk Analysis: Foundations and Methods, , Cambridge University Press
• Cailliau, A., Van Lamsweerde, A., Assessing requirements-related risks through probabilistic goals and obstacles (2013) Requirements Engineering, 18 (2), pp. 129-146
• Cailliau, A., Van Lamsweerde, A., Integrating exception handling in goal models (2014) Proceedings of the 22nd International Requirements Engineering Conference, pp. 43-52
• Corapi, D., Russo, A., Lupu, E., Inductive logic programming as abductive search (2010) Technical Communications of the 26th International Conference on Logic Programming
• Corapi, D., Russo, A., Lupu, E., Inductive logic programming in answer set programming (2011) Proceedings of the 21st International Conference on Inductive Logic Programming, pp. 91-97
• Feather, M., Cornford, S., Quantitative risk-based requirements reasoning (2003) Requirements Engineering, 8, pp. 248-265
• Finkelstein, A., Dowell, J., A comedy of errors: The london ambulance service case study (1996) Proceedings of the 8th International Workshop on Software Specification and Design, pp. 2-4
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 257-266
• Ingram, A., (2014) What Is An Electronic Handbrake, , https://www.carwow.co.uk/blog/Electronic-parkingbrake-explained, [Online; accessed 15-Feb-2016]
• Kowalski, R., Sergot, M., A logic-based calculus of events (1986) New Generation Computing, 4 (1), pp. 67-95
• Koymans, R., (1992) Specifying Message Passing and Time-Critical Systems with Temporal Logic, Volume 651 of (LNCS), , Springer
• Letier, E., Stefan, D., Barr, E.T., Uncertainty, risk, and information value in software requirements and architecture (2014) Proceedings of the 36th International Conference on Software Engineering, pp. 883-894
• Leveson, N., An approach to designing safe embedded software (2002) Proceedings of the 2nd International Conference on Embedded Software, pp. 15-29
• Leveson, N.G., Safeware: System safety and computers (1995) ACM, , New York, NY, USA
• Lloyd, J., (1984) Foundations of Logic Programming, , Springer
• Lund, M.S., Solhaug, B., Stlen, K., (2010) Model-Driven Risk Analysis: The CORAS Approach, , Springer Publishing Company, Incorporated, 1st edition
• Lutz, R., Patterson-Hine, A., Nelson, S., Frost, C.R., Tal, D., Harris, R., Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle (2006) Requirements Engineering, 12, pp. 41-54
• Muggleton, S., Marginean, F., Logic-based artificial intelligence (2000) Chapter Logic-based Machine Learning, pp. 315-330. , Kluwer Academic Publishers
• Muggleton, S., Raedt, L.D., Inductive logic programming: Theory and methods (1994) Journal of Logic Programming, 19-20, pp. 629-679
• Potts, C., Using schematic scenarios to understand user needs (1995) Proceedings of the 1st Conference on Designing Interactive Systems: Processes, Practices, Methods, & Techniques, pp. 247-256
• Sabetzadeh, M., Falessi, D., Briand, L.C., Alesio, S.D., McGeorge, D., Éhjem, V.A., Borg, J., Combining goal models, expert elicitation, and probabilistic simulation for qualification of new technology (2011) Proceedings of the IEEE 13th International Symposium on High-Assurance Systems Engineering, pp. 63-72
• Schneier, B., (2000) Secrets and Lies: Digital Security in A Networked World, , Wiley
• Sutclié, A., Maiden, N., Minocha, S., Manuel, D., Supporting scenario-based requirements engineering (1998) IEEE Transactions on Software Engineering, 24, pp. 1072-1088
• Tang, C.K.F., Ternovska, E., Model checking abstract state machines with answer set programming (2005) Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, pp. 443-458
• Van Lamsweerde, A., (2009) Requirements Engineering: From System Goals to UML Models to Software Specifications, , Wiley
• Van Lamsweerde, A., Letier, E., Handling obstacles in goal-oriented requirement engineering (2000) IEEE Transactions on Software Engineering, 26 (10), pp. 978-1005
• Wrobel, S., First order theory renement (1996) Advances in Inductive Logic Programming, pp. 14-33. , L. React, editor,IOS Press, AmsterdamA4 - Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)

Citas:

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

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

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

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