Search

Your search keyword '"Mavin, Alistair"' showing total 20 results
Start Over Author "Mavin, Alistair"
20 results on '"Mavin, Alistair"'

1. Just Formal Enough? Automated Analysis of EARS Requirements

Author

Lúcio, Levi, Rahman, Salman, Cheng, Chih-Hong, Mavin, Alistair, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Barrett, Clark, editor, Davies, Misty, editor, and Kahsai, Temesghen, editor

Published
2017
Full Text
View/download PDF

2. Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People

Author

Mahaux, Martin, Mavin, Alistair, Heymans, Patrick, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Regnell, Björn, editor, and Damian, Daniela, editor

Published
2012
Full Text
View/download PDF

10. ICT4S 2029 : What will be the Systems Supporting Sustainability in 15 Years?

Author

Penzenstadler, Birgit, Tomlinson, Bill, Baumer, Eric, Pufal, Marcel, Raturi, Ankita, Richardson, Debra, Cakici, Baki, Chitchyan, Ruzanna, Da Costa, Georges, Dombrowski, Lynn, Picha Edwardsson, Malin, Eriksson, Elina, Franch, Xavier, Hayes, Gillian R., Herzog, Christina, Lohmann, Wolfgang, Mahaux, Martin, Mavin, Alistair, Mazmanian, Melissa, Nayebaziz, Sahand, Norton, Juliet, Pargman, Daniel, Patterson, Donald J., Pierson, Jean-Marc, Roher, Kristin, Silberman, M. Six, Simonson, Kevin, Torrance, Andrew W., van der Hoek, Andre, Penzenstadler, Birgit, Tomlinson, Bill, Baumer, Eric, Pufal, Marcel, Raturi, Ankita, Richardson, Debra, Cakici, Baki, Chitchyan, Ruzanna, Da Costa, Georges, Dombrowski, Lynn, Picha Edwardsson, Malin, Eriksson, Elina, Franch, Xavier, Hayes, Gillian R., Herzog, Christina, Lohmann, Wolfgang, Mahaux, Martin, Mavin, Alistair, Mazmanian, Melissa, Nayebaziz, Sahand, Norton, Juliet, Pargman, Daniel, Patterson, Donald J., Pierson, Jean-Marc, Roher, Kristin, Silberman, M. Six, Simonson, Kevin, Torrance, Andrew W., and van der Hoek, Andre

Abstract

Research is often inspired by visions of the future. These visions can take on various narrative forms, and can fall anywhere along the spectrum from utopian to dystopian. Even though we recognize the importance of such visions to help us shape research questions and inspire rich design spaces to be explored, the opportunity to discuss them is rarely given in a research context. Imagine how civilization will have changed in 15 years. What is your vision for systems that will be supporting sustainability in that time? Which transformational changes will have occurred in the mean time that allow for these systems? Is ICT even the right tool or does it contradict sustainability by making our world ever more complex? How can we make systems and our societies more sustainable and resilient by ICT4S? This paper presents a compilation of fictional abstracts for inspiration and discussion, and provides means to stimulate discussion on future research and contributes to ICT4S community building., Part of proceedings: ISBN 978-94-62520-22-6QC 20200417, MID4S

Published
2014
Full Text
View/download PDF

20. Computational Alignment of Goals and Scenarios for Complex Systems.

Author

Alrajeh, Dalal, Russo, Alessandra, Lockerbie, James, Maiden, Neil, Mavin, Alistair, and Novak, Mark

Subjects
COMPUTER software, COMPUTER systems, SOFTWARE engineering, COMPUTER software development, COMPUTATIONAL mechanics
Abstract

The purpose of requirements validation is to determine whether a large requirements set will lead to the achievement of system-related goals under different conditions - a task that needs automation if it is to be performed quickly and accurately. One reason for the current lack of software tools to undertake such validation is the absence of the computational mechanisms needed to associate scenario, system specification and goal analysis tools. Therefore, in this paper, we report first research experiments in developing these new capabilities, and demonstrate them with a non-trivial example associated with a Rolls Royce aircraft engine software component. [ABSTRACT FROM AUTHOR]

Published
2013

Catalog

Books, media, physical & digital resources
See catalog results