All Outputs (4)

Requirements capture analysis for MOOCS in higher education (2015)
Book Chapter
Gordon, N. A., & Brayshaw, M. (2015). Requirements capture analysis for MOOCS in higher education. In A. Mesquita, & P. Peres (Eds.), Furthering Higher Education Possibilities through Massive Open Online Courses (107-125). IGI Global. https://doi.org/10.4018/978-1-4666-8279-5.ch005

One of the attention grabbing headlines in the last two years has been of hundreds of thousands of students enrolling on MOOCs (Massive Open Online Courses) that are being offered by some of the world's top Universities. Large numbers of students are... Read More about Requirements capture analysis for MOOCS in higher education.

Motivating and engagaging students through technology (2015)
Book Chapter
Gordon, N., Grey, S., & Brayshaw, M. (2015). Motivating and engagaging students through technology. In J. Hawkins (Ed.), Student Engagement: Leadership Practices, Perspectives and Impact of Technology (25-43). New York: Nova Science Publishers

© 2015 Nova Science Publishers, Inc. This chapter will consider what we mean by student engagement, and how students may be motivated through appropriate pedagogy - that is through teaching approaches and related assessment. We will focus in particul... Read More about Motivating and engagaging students through technology.

Supporting the automated generation of modular product line safety cases (2015)
Book Chapter
de Oliveira, A. L., Braga, R. T., Masiero, P. C., Papadopoulos, Y., Habli, I., & Kelly, T. (2015). Supporting the automated generation of modular product line safety cases. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), . https://doi.org/10.1007/978-3-319-19216-1_30

Abstract The effective reuse of design assets in safety-critical Software Product Lines (SPL) would require the reuse of safety analyses of those assets in the variant contexts of certification of products derived from the SPL. This in turn requires... Read More about Supporting the automated generation of modular product line safety cases.

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability technique... Read More about Model-based dependability analysis : state-of-the-art, challenges and future outlook.