Dimovski, Aleksandar; Al-Sibahi, Ahmad Salim; Brabrand, Claus; Wasowski, Andrzej (2015)Many software systems are variational: they can be configured to meet diverse sets of requirements. Variability is found in both communication protocols and discrete controllers of embedded systems. In these areas, model checking is an important verification technique. For variational models (systems with variability), specialized family-based model checking algorithms allow efficient verification of multiple variants, simultaneously. These algorithms scale much better than ``brute force'' ve...
Optimeringseksperimenter:Postkritiske perspektiver på monitorering og evaluering i en miljøorganisationWinthereik, Brit Ross; Jensen, Casper Bruun (2014)In this article we investigate a group of environmental consultants in their efforts to create a local standard for monitoring and evaluating development projects. The point of these efforts is at once to improve the quality of projects and internal communication. We describe them as experiments in optimization. In particular, our analysis focuses on monitoring and evaluating as a form of optimization that generously constrains the world’s complexity in order to facilitate specific kinds of w...Tell, Paolo; Pfeiffer, Rolf-Helge; Pagh Schultz, Ulrik (2017)Since the early days of software engineering, a number of methods, processes, and practices to design and develop software systems have been proposed and applied in industry, e.g., the Rational Unified Process, Agile Software Development, etc. However, since no silver bullet exists, organizations use rich combinations of agile and/or traditional methods and practices, rather than following a single process by the book. To investigate this reality, an international exploratory multistage resea...Barrett, Maria; Jensen, Henrik Tomra Skovsgaard Hegner; San Agustin, Javier (2009)Backe, Hans-Joachim (2017)Ecocriticism of digital games has so far engaged with a rather small corpus of examples, predominantly from a prescriptive perspective and with a quite limited methodological toolkit. This essay systematizes and historicizes some of these commonly found limitations of past research and proposes methods for a more historically and generically diverse exploration of ecological thinking vis-à-vis digital games. The majority of discussions of games from an ecocritical perspective has applied conc...
No data provider research data found
Latest Documents TimelineChart is loading... It may take a bit of time. Please be patient and don't reload the page.
Document TypesChart is loading... It may take a bit of time. Please be patient and don't reload the page.
Funders in data provider publicationsChart is loading... It may take a bit of time. Please be patient and don't reload the page.
Projects with most PublicationsChart is loading... It may take a bit of time. Please be patient and don't reload the page.