Last 7 days
Bookmark and Share    
See detailVon Pong zur Panik? Videospiele als gesellschaftlich relevantes Forschungsthema
Melzer, André UL

in Amann, Wilhelm; Sieburg, Heinz (Eds.) Spiel-Räume. Das "Spiel" in Diskursen der Kultur und Wissenschaften (in press)

Detailed reference viewed: 11 (0 UL)
See detailAlchemie und Magie als poetologische Verfahren in der Literatur um 1800. Prolegomena zu einem literatur- und wissensgeschichtlichen Spannungsfeld.
Küpper, Achim UL

in Ulbrechtová, Helena; Grub, Frank Thomas; Platen, Edgar (Eds.) et al Literatur und menschliches Wissen. Analysen zu einer grenzüberschreitenden Beziehung. (in press)

Detailed reference viewed: 8 (0 UL)
See detailFörderung von Deutsch als Fremd- und Amtssprache in den Benelux-Staaten
Leuschner, Torsten; Radke, Henning; Küpper, Achim UL

in Ammon, Ulrich (Ed.) Förderung von Deutsch weltweit. (in press)

Detailed reference viewed: 11 (0 UL)
See detailSchrift und Bild im Horizont des Liquiden. Christoph Ransmayrs und Willy Puchners strahlende Untergänge in Wasser und Wüste.
Küpper, Achim UL

in Brittnacher, Hans Richard; Küpper, Achim (Eds.) Seenöte, Schiffbrüche, feindliche Wasserwelten. Maritime Schreibweisen der Gefährdung und des Untergangs. (in press)

Detailed reference viewed: 8 (0 UL)
See detailDie Wüstenzone zwischen Klimadiagnostik, Anti-Anthropozentrismus und Autoreferenzialität. Bild- und Zeitordnungen der Wüste in Raoul Schrotts Die fünfte Welt.
Küpper, Achim UL

in Dürbeck, Gabriele; Kanz, Christine; Zschachlitz, Ralf (Eds.) Ökologischer Wandel in der deutschen Literatur des 20. und 21. Jahrhunderts – neue Perspektiven und Ansätze. (in press)

Detailed reference viewed: 7 (0 UL)
See detailÖkologie und Poetologie der Versandung: Raoul Schrotts Novelle Die Wüste Lop Nor als literarische Wüstenfiguration der Gegenwart.
Küpper, Achim UL

in Dürbeck, Gabriele; Zschachlitz, Ralf (Eds.) Ökologie und Umweltwandel in der deutschsprachigen Gegenwartsliteratur. (in press)

Detailed reference viewed: 9 (0 UL)
See detailEinleitung. Seenöte, Schiffbrüche, feindliche Wasserwelten: Ein Diskurs der fließenden Grenzen.
Brittnacher, Hans Richard; Küpper, Achim UL

in Brittnacher, Hans Richard; Küpper, Achim (Eds.) Seenöte, Schiffbrüche, feindliche Wasserwelten. Maritime Schreibweisen der Gefährdung und des Untergangs. (in press)

Detailed reference viewed: 6 (0 UL)
See detailÖkologie, Umwelt.
Küpper, Achim UL

in Vogl, Joseph; Wolf, Burkhardt (Eds.) Handbuch Literatur und Ökonomie. (in press)

Detailed reference viewed: 8 (0 UL)
Full Text
Peer Reviewed
See detailChange Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models
Hajri, Ines UL; Göknil, Arda UL; Briand, Lionel UL et al

in Journal of Systems and Software (in press)

Product Line Engineering is becoming a key practice in many software development environments where complex systems are developed for multiple customers with varying needs. In many business contexts, use ... [more ▼]

Product Line Engineering is becoming a key practice in many software development environments where complex systems are developed for multiple customers with varying needs. In many business contexts, use cases are the main artifacts for communicating requirements among stakeholders. In such contexts, Product Line (PL) use cases capture variable and common requirements while use case-driven configuration generates Product Specific (PS) use cases for each new customer in a product family. In this paper, we propose, apply, and assess a change impact analysis approach for evolving configuration decisions in PL use case models. Our approach includes: (1) automated support to identify the impact of decision changes on prior and subsequent decisions in PL use case diagrams and (2) automated incremental regeneration of PS use case models from PL use case models and evolving configuration decisions. Our tool support is integrated with IBM Doors. Our approach has been evaluated in an industrial case study, which provides evidence that it is practical and beneficial to analyze the impact of decision changes and to incrementally regenerate PS use case models in industrial settings. [less ▲]

Detailed reference viewed: 55 (32 UL)
Peer Reviewed
See detailDatemi gli occhi
Cicotti, Claudio UL

in Cicotti, Claudio (Ed.) The many faces of 1918 (in press)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailAffaire Berlioz : Enseignements de la CJUE et recommandations à l’attention du législateur
Chaouche, Fatima UL; Sinnig, Julia UL

in Revue Générale de Fiscalité Luxembourgeoise (in press)

Après avoir introduit un recours préjudiciel devant la Cour de Justice de l’Union Européenne (ci-après « CJUE ») quant à la compatibilité des dispositions luxembourgeoises en matière d’échange de ... [more ▼]

Après avoir introduit un recours préjudiciel devant la Cour de Justice de l’Union Européenne (ci-après « CJUE ») quant à la compatibilité des dispositions luxembourgeoises en matière d’échange de renseignements avec le droit de l’Union, la Cour administrative a statué dans la désormais célèbre affaire Berlioz dans son arrêt du 26 octobre 2017. Sans grande surprise, la Cour administrative a invalidé la décision directoriale enjoignant Berlioz de se conformer à la demande d’échange française en raison de l’absence de contrôle de la pertinence vraisemblable des informations demandées. Il incombe désormais au législateur luxembourgeois de proposer un texte cohérent et conforme au droit supranational. [less ▲]

Detailed reference viewed: 11 (1 UL)
Full Text
Peer Reviewed
See detailSmart Bound Selection for the Verification of UML/OCL Class Diagrams
Clarisó, Robert; Gonzalez Perez, Carlos Alberto UL; Cabot, Jordi

in IEEE Transactions on Software Engineering (in press)

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults ... [more ▼]

Correctness of UML class diagrams annotated with OCL constraints can be checked using bounded verification techniques, e.g., SAT or constraint programming (CP) solvers. Bounded verification detects faults efficiently but, on the other hand, the absence of faults does not guarantee a correct behavior outside the bounded domain. Hence, choosing suitable bounds is a non-trivial process as there is a trade-off between the verification time (faster for smaller domains) and the confidence in the result (better for larger domains). Unfortunately, bounded verification tools provide little support in the bound selection process. In this paper, we present a technique that can be used to (i) automatically infer verification bounds whenever possible, (ii) tighten a set of bounds proposed by the user and (iii) guide the user in the bound selection process. This approach may increase the usability of UML/OCL bounded verification tools and improve the efficiency of the verification process. [less ▲]

Detailed reference viewed: 27 (6 UL)
Full Text
Peer Reviewed
See detailLessons from social network analysis to Industry 4.0
Omar, Yamila UL; Minoufekr, Meysam UL; Plapper, Peter UL

in Manufacturing Letters (in press)

With the advent of Industry 4.0, a growing number of sensors within modern production lines generate high volumes of data. This data can be used to optimize the manufacturing industry in terms of complex ... [more ▼]

With the advent of Industry 4.0, a growing number of sensors within modern production lines generate high volumes of data. This data can be used to optimize the manufacturing industry in terms of complex network topology metrics commonly used in the analysis of social and communication networks. In this work, several such metrics are presented along with their appropriate interpretation in the field of manufacturing. Furthermore, the assumptions under which such metrics are defined are assessed in order to determine their suitability. Finally, their potential application to identify performance limiting resources, allocate maintenance resources and guarantee quality assurance are discussed. [less ▲]

Detailed reference viewed: 30 (2 UL)
Full Text
Peer Reviewed
See detailFurther exploration of the SUPPS-P Impulsive Behavior Scale’s factor structure: Evidence from a large Hungarian sample
Zsila, Ágnes; Bőthe, Beáta; Demetrovics, Zsolt et al

in Current Psychology (in press)

Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which ... [more ▼]

Background: Impulsivity is a multidimensional construct playing a pervasive role in psychiatry and neuropsychology. Lynam et al. (2006) have developed the 59-item UPPS-P Impulsive Behavior Scale, which assesses five distinct impulsivity dimensions: positive urgency, negative urgency, lack of perseverance, lack of premeditation, and sensation seeking. The short, 20-item version of the UPPS-P (SUPPS-P; Billieux et al. 2012) has been developed and adapted into several languages, including English, French, Italian, Spanish, and Arabic. The aim of the present study was to test four theoretical models of the SUPPS-P in a large sample of Hungarian adults. Methods: A total of 15,703 participants (64.76% male; Mage = 33.42 years, SD = 11.06) completed the SUPPS-P using an online questionnaire. Results: Confirmatory factor analyses corroborated the first-order five-factor model of impulsivity and a hierarchical model representing three higher-order constructs (urgency, lack of conscientiousness, sensation seeking), whereas the one-factor and three-factor model were not supported. The factor structure of the SUPPS-P preserved the original, theory-driven structure of the UPPS-P model and this instrument demonstrated good internal consistency. Hypersexual behavior consequences were positively associated with most SUPPS-P components, thus criterion validity was also supported. Conclusion: The SUPPS-P had strong psychometric properties that reflected the theoretical structure of the original UPPS-P model, thus it constitutes a theoretically grounded and time saving multidimensional instrument for assessing impulsivity. [less ▲]

Detailed reference viewed: 24 (0 UL)
Full Text
Peer Reviewed
See detailAn Investigation of Compression Techniques to Speed up Mutation Testing
Zhu; Panichella, Annibale UL; Zaidman, Andy

in 11th IEEE Conference on Software Testing, Validation and Verification, 2018 (in press)

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of ... [more ▼]

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we explore whether we can use compression techniques to improve the efficiency of strong mutation based on weak mutation information. Our investigation is centred around six mutation compression strategies that we have devised. More specifically, we adopt overlapped grouping and Formal Concept Analysis (FCA) to cluster mutants and test cases based on the reachability (code covergae) and necessity (weak mutation) conditions. Moreover, we leverage mutation knowledge (mutation locations and mutation operator types) during compression. To evaluate our method, we conducted a study on 20 open source Java projects using manually written tests. We also compare our method with pure random sampling and weak mutation. The overall results show that mutant compression techniques are a better choice than random sampling and weak mutation in practice: they can effectively speed up strong mutation 6.3 to 94.3 times with an accuracy of >90%. [less ▲]

Detailed reference viewed: 38 (13 UL)
Full Text
Peer Reviewed
See detailA generalization of the concept of distance based on the simplex inequality
Kiss, Gergely UL; Marichal, Jean-Luc UL; Teheux, Bruno UL

in Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry (in press)

We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex ... [more ▼]

We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex inequality \[ d(x_1, \ldots, x_n)~\leq~K\, \sum_{i=1}^n d(x_1, \ldots, x_n)_i^z{\,}, \qquad x_1, \ldots, x_n, z \in X, \] where $K=1$. Here $d(x_1,\ldots,x_n)_i^z$ is obtained from the function $d(x_1,\ldots,x_n)$ by setting its $i$th variable to $z$. We provide several examples of $n$-distances, and for each of them we investigate the infimum of the set of real numbers $K\in\left]0,1\right]$ for which the inequality above holds. We also introduce a generalization of the concept of $n$-distance obtained by replacing in the simplex inequality the sum function with an arbitrary symmetric function. [less ▲]

Detailed reference viewed: 38 (13 UL)
Peer Reviewed
See detailPartizipation in Großschutzgebieten - untersucht am Beispiel der Beteiligung an den Workshops zur Erstellung des Rahmenkonzeptes des Biosphärenreservates Bliesgau 2014
Nienaber, Birte UL

in Weber, Friedericke; Weber, Florian; Jenal, Corinna (Eds.) Wohin des Weges? Regionalentwicklung in Großschutzgebieten (in press)

In 2014 a process of public participation was initiated in order to produce a framework concept for the future configuration of the “Biosphere Bliesgau”. This paper presents characteristics of ... [more ▼]

In 2014 a process of public participation was initiated in order to produce a framework concept for the future configuration of the “Biosphere Bliesgau”. This paper presents characteristics of participation, both in general and in large-scale protected areas in particular, and discusses what various forms of participation (ranging from pure information as non-participation to bottom-up partnerships as the strongest form of participation) are possible. The empirical-analytical section of the paper investigates the 2014 process of participation in Biosphere Bliesgau, using publically available protocols and interviews. It can be seen that the top-down process – e. g. involving concrete agreements between individuals or groups – involves the selection of participants – intended or otherwise – and that the highest level of participation could therefore not be achieved. [less ▲]

Detailed reference viewed: 15 (1 UL)