| 61. |
- Högberg, Karin, 1982-, et al.
(författare)
-
Among Followers and Rebels : Professional Identity and Digitalization of Work
- 2020
-
Ingår i: Proceedings of the 53rd Hawaii International Conference on System Sciences 2020 Jan 7. ; , s. 1-10
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The digitalization of work practices has changed the conditions for many professions. In this study, we explore the relation between professional identity and digitalization in the workplace. We join the research stream within professional identity research that views identity as a narrative construction, a story that individuals tell themselves and others to tell who they are, in this case in relation to digitalization. The empirical data derive from two different contexts: Nordic primary school teachers and European hoteliers at an international hotel chain. In total, 72 interviews were conducted. The study contributes to existing literature by providing increased knowledge on digitalization of work practices by illustrating different approaches to digitalization of work that extend over a specific profession. Theoretical contributions involve suggesting four ideal types of categorization to explain the approach to digitalization in professional life.
|
|
| 62. |
- Willermark, Sara, 1988-, et al.
(författare)
-
The Polite Pop-Up : An Experimental Study of Pop-Up Design Characteristics and User
- 2020
-
Ingår i: Proceedings of the 53rd Hawaii International Conference on System Sciences.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Pop-up boxes have been widely used to catch users' attention and highlight specific information. Yet, according to previous research, there is a high degree of perceived irritation and dissatisfaction related to pop-ups. In this study, we explore the user experience of what is referred to as "polite pop-up," i.e., a modal pop-up, created based on click events. The intention was to eliminate negative perceptions that pop-ups usually generate. The research method involves a constructed user test of a prototype of a website where polite pop-ups were placed in the interface. Thirteen users participated, where most of the users noticed the polite pop-up and voluntarily chose to access the information within the pop-up. The contribution includes increased insight into the relation between polite pop-up and user satisfaction, as well as design implications for user-centered design.
|
|
| 63. |
- Willermark, Sara, 1988-, et al.
(författare)
-
Unpacking the Role of Boundaries in Computer-Supported Collaborative Teaching
- 2020
-
Ingår i: Computer Supported Cooperative Work. - : Springer. - 0925-9724 .- 1573-7551. ; 29:6, s. 743-767
-
Tidskriftsartikel (refereegranskat)abstract
- In this study, we explore the role of boundaries for collaborative learning and transformation of work practices to occur. We report from a three-year action research project including well over 1800 h of participation by the authors. The empirical data are based on project participation work including observations and field notes, project reports, interviews and a questionnaire, within a school development project in Nordic elementary school. In the project, teachers and researchers from three Nordic countries, Norway, Sweden and Denmark, collaborated to develop novel, on-line teaching models for a Nordic Virtual Classroom. The virtual classroom refers to an educational setting where teaching and learning activities are conducted collaboratively in cross-national teams "in the cloud" by means of information technology. During the project, teachers were challenged in their current teaching practices and the project resulted in collaborative learning and transformation of work practice. In this paper, we explore underlying reasons for such transformation to occur by unpacking how and why boundaries can play a role in computer-supported collaborative teaching and stimulate a transformation towards digitalized teaching practices. The paper contributes with an explanation of how the composition of boundaries of a technological, organizational, and cultural nature operates and constitutes a resource for learning and principles for how boundaries can be used for such purpose.
|
|
| 64. |
- Salahirad, Alireza, et al.
(författare)
-
Mapping the structure and evolution of software testing research over the past three decades
- 2023
-
Ingår i: Journal of Systems and Software. - 0164-1212. ; 195
-
Tidskriftsartikel (refereegranskat)abstract
- Background: The field of software testing is growing and rapidly-evolving. Aims: Based on keywords assigned to publications, we seek to identify predominant research topics and understand how they are connected and have evolved. Methods: We apply co-word analysis to map the topology of testing research as a network where author-assigned keywords are connected by edges indicating co-occurrence in publications. Keywords are clustered based on edge density and frequency of connection. We examine the most popular keywords, summarize clusters into high-level research topics examine how topics connect, and examine how the field is changing. Results: Testing research can be divided into 16 high-level topics and 18 subtopics. Creation guidance, automated test generation, evolution and maintenance, and test oracles have particularly strong connections to other topics, highlighting their multidisciplinary nature. Emerging keywords relate to web and mobile apps, machine learning, energy consumption, automated program repair and test generation, while emerging connections have formed between web apps, test oracles, and machine learning with many topics. Random and requirements-based testing show potential decline. Conclusions: Our observations, advice, and map data offer a deeper understanding of the field and inspiration regarding challenges and connections to explore. Editor's note: Open Science material was validated by the Journal of Systems and Software Open Science Board.
|
|
| 65. |
- Beyer, Anne, et al.
(författare)
-
Is Incoherence Surprising? Targeted Evaluation of Coherence Prediction from Language Models
- 2021
-
Ingår i: Proceedings of the 2021 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT 2021, June 6 -11, 2021, Online. - Stroudsburg, PA, USA : Association for Computational Linguistics. - 9781954085466
-
Konferensbidrag (refereegranskat)abstract
- Coherent discourse is distinguished from a mere collection of utterances by the satisfaction of a diverse set of constraints, for example choice of expression, logical relation between denoted events, and implicit compatibility with world-knowledge. Do neural language models encode such constraints? We design an extendable set of test suites addressing different aspects of discourse and dialogue coherence. Unlike most previous coherence evaluation studies, we address specific linguistic devices beyond sentence order perturbations, which allow for a more fine-grained analysis of what constitutes coherence and what neural models trained on a language modelling objective are capable of encoding. Extending the targeted evaluation paradigm for neural language models (Marvin and Linzen, 2018) to phenomena beyond syntax, we show that this paradigm is equally suited to evaluate linguistic qualities that contribute to the notion of coherence.
|
|
| 66. |
- Curzi, Gianluca, 1991, et al.
(författare)
-
A type-assignment of linear erasure and duplication
- 2020
-
Ingår i: Theoretical Computer Science. - 0304-3975.
-
Tidskriftsartikel (refereegranskat)abstract
- We introduce ???, a type-assignment system for the linear λ-calculus that extends second-order ????2, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract assumptions, but in a purely linear setting. ??? enjoys both a mildly weakened cut-elimination, whose computational cost is cubic, and Subject reduction. A translation of ??? into ????2 exists such that the derivations of the former can exponentially compress the dimension of the derivations in the latter. ??? allows for a modular and compact representation of boolean circuits, directly encoding the fan-out nodes, by contraction, and disposing garbage, by weakening. It can also represent natural numbers with terms very close to standard Church numerals which, moreover, apply to Hereditarily Finite Permutations, i.e. a group structure that exists inside the linear λ-calculus.
|
|
| 67. |
- Curzi, Gianluca, 1991
(författare)
-
Linear Additives
- 2021
-
Ingår i: Electronic Proceedings in Theoretical Computer Science (EPTCS). - 2075-2180.
-
Tidskriftsartikel (refereegranskat)abstract
- We introduce LAM, a subsystem of IMALL2 with restricted additive rules able to manage duplication linearly, called linear additive rules. LAM is presented as the type assignment system for a calculus endowed with copy constructors, which deal with substitution in a linear fashion. As opposed to the standard additive rules, the linear additive rules do not affect the complexity of term reduction: typable terms of LAM enjoy linear strong normalization. Moreover, a mildly weakened version of cut-elimination for this system is proven which takes a cubic number of steps. Finally, we define a sound translation from LAM’s proofs into IMLL2’s linear lambda terms, and we study its complexity.
|
|
| 68. |
- Gren, Lucas, 1984, et al.
(författare)
-
Agility is responsiveness to change: An essential definition
- 2020
-
Ingår i: 24th Conference on Evaluation and Assessment in Software Engineering (EASE2020). - New York, NY, USA : Association for Computing Machinery. - 2153-1633.
-
Konferensbidrag (refereegranskat)abstract
- There is some ambiguity of what agile means in both research and practice. Authors have suggested a diversity of different definitions, through which it is difficult to interpret what agile really is. The concept, however, exists in its implementation through agile practices. In this vision paper, we argue that adopting an agile approach boils down to being more responsive to change. To support this claim, we relate agile principles, practices, the agile manifesto, and our own experiences to this core definition. We envision that agile transformations would be, and are, much easier using this definition and contextualizing its implications.
|
|
| 69. |
- Li, Tong, et al.
(författare)
-
Holistic security requirements analysis for socio-technical systems
- 2018
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 17:4, s. 1253-1285
-
Tidskriftsartikel (refereegranskat)abstract
- © 2016, Springer-Verlag Berlin Heidelberg. Security has been a growing concern for large organizations, especially financial and governmental institutions, as security breaches in the systems they depend on have repeatedly resulted in billions of dollars in losses per year, and this cost is on the rise. A primary reason for these breaches is that the systems in question are “socio-technical” a mix of people, processes, technology, and infrastructure. However, such systems are designed in a piecemeal rather than a holistic fashion, leaving parts of the system vulnerable. To tackle this problem, we propose a three-layer security analysis framework consisting of a social layer (business processes, social actors), a software layer (software applications that support the social layer), and an infrastructure layer (physical and technological infrastructure). In our proposal, global security requirements lead to local security requirements, cutting across conceptual layers, and upper-layer security analysis influences analysis at lower layers. Moreover, we propose a set of analytical methods and a systematic process that together drive security requirements analysis across the three layers. To support analysis, we have defined corresponding inference rules that (semi-)automate the analysis, helping to deal with system complexity. A prototype tool has been implemented to support analysts throughout the analysis process. Moreover, we have performed a case study on a real-world smart grid scenario to validate our approach.
|
|
