SC Harvester Papers Database Interface

Guest Editorial Special Section on Engineering Industrial Big Data Analytics Platforms for Internet of Things

Charith Perera, A. Vasilakos, G. Çalıklı, Quan Z. Sheng, Kuan Ching Li. In: IEEE Trans. Ind. Informatics. 2018

Abstract: Over the last few years, a large number of Internet of Things (IoT) solutions have come to the IoT marketplace. Typically, each of these IoT solutions are designed to perform a single or minimal number of tasks (primary usage). We believe a significant amount of knowledge and insights are hidden in these data silos that can be used to improve our lives; such data include our behaviors, habits, pre...

A method for dependability evaluation of software architectures

Ali Sedaghatbaf, Mohammad Abdollahi Azgomi. In: Computing. 2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Ehsan Khamespanah, R. Khosravi, M. Sirjani. In: Sci. Comput. Program.. 2018

An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models

R. Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson, C. Seceleanu. In: ArXiv. 2018

Abstract: Early design artifacts of embedded systems, such as architectural models, represent convenient abstractions for reasoning about a system's structure and functionality. One such example is the Electronic Architecture and Software Tools-Architecture Description Language (EAST-ADL), a domain-specific architectural language that targets the automotive industry. EAST-ADL is used to represent both hardw...

[Prospective DRG coding : Improvement in cost-effectiveness and documentation quality of in-patient hospital care].

S. Geuss, A. Jungmeister, A. Baumgart, R. Seelos, S. Ockert. In: Der Chirurg; Zeitschrift fur alle Gebiete der operativen Medizen. 2018

Digitalization of Swedish Government Agencies: Detailed Census Description and Analysis

Markus Borg, Thomas Olsson, U. Franke, S. Assar. In: . 2018

Digitalization of Swedish Government Agencies - A Perspective Through the Lens of a Software Development Census

Markus Borg, Thomas Olsson, U. Franke, S. Assar. In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS). 2018

Abstract: Software engineering is at the core of the digitalization of society. Ill-informed decisions can have major consequences, as made evident in the 2017 government crisis in Sweden, originating in a data breach caused by an outsourcing deal made by the Swedish Transport Agency. Many Government Agencies (GovAgs) in Sweden are rapidly undergoing a digital transition, thus it is important to overview ho...

Fallbegleitende DRG-Kodierung

S. Geuss, A. Jungmeister, A. Baumgart, R. Seelos, S. Ockert. In: Der Chirurg. 2018

Towards Simulation-Based Verification for Continuous Integration and Delivery

Henrik Kaijser, Henrik Lönn, Peter Thorngren, Johan Ekberg, Maria Henningsson et al. In: . 2018

Diversity in UML Modeling Explained: Observations, Classifications and Theorizations

M. Chaudron, Ana Fernandes-Saez, R. Hebig, Truong Ho-Quang, Rodi Jolak. In: . 2018

Summary of the 4th International Workshop on Requirements Engineering and Testing (RET 2017)

Markus Borg, E. Bjarnason, M. Unterkalmsteiner, Tingting Yu, Gregory Gay et al. In: ACM SIGSOFT Softw. Eng. Notes. 2018

Abstract: The RET (Requirements Engineering and Testing) workshop series provides a meeting point for researchers and practitioners from the two separate fields of Requirements Engineering (RE) and Testing. The long term aim is to build a community and a body of knowledge within the intersection of RE and Testing, i.e., RET. The 4th workshop was co-located with the 25th International Requirements Engineerin...

Vigilant conservatism in evaluating communicated information

Emmanuel Trouche, Petter Johansson, Lars Hall, Hugo Mercier. In: PLoS ONE. 2018

Abstract: In the absence of other information, people put more weight on their own opinion than on the opinion of others: they are conservative. Several proximal mechanisms have been suggested to account for this finding. One of these mechanisms is that people cannot access reasons for other people’s opinions, but they can access the reasons for their own opinions—whether they are the actual reasons that le...