SC Harvester Papers Database Interface

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier, B. Kempter, C. Klein et al. In: . 2018

Abstract: From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwi...

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)

M. Felderer, D. Gurov, M. Huisman, B. Lisper, R. Schlick. In: . 2018

Collaborative Modeling in Software Engineering

H. Muccini, J. Bosch, A. Hoek. In: IEEE Softw.. 2018

Abstract: The topic of collaborative modeling has long been relevant in software. Collaborative facilities are part and parcel of modeling tools, and every day hundreds of thousands of developers engage in collaborative modeling of some sort. This theme issue contains four articles spanning a variety of areas in collaborative modeling. The first article offers a somewhat classic approach to handling collabo...

FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results

Z. Haider, Barbara Gallina, Enrique Zornoza Moreno. In: 2018 3rd International Conference on System Reliability and Safety (ICSRS). 2018

Abstract: Dependability-critical systems (e.g., space systems) need to be engineered according to dependability standards (e.g. ECSS standards), which require the application of various dependability analyses, including Fault Tree Analysis (FTA). Due to the complex nature of such systems, conducting FTA may turn out to be time-consuming and error prone. Thus, automation is highly desirable. In this paper, w...

Improving the experience for software-measurement system end-users: A story of two companies

Haoyu Wang, R. Hebig. In: Inf. Softw. Technol.. 2018

Abstract: © 2018 Context: Software measurement systems are used in large companies to provide developers with up-to-date feedback and metrics. Objective: However, the front-ends of these systems are often not ready to provide a real-time experience for the end-users, who sometimes have to wait minutes before visualizations are provided. Method: In this paper, we present the case studies of two large interna...

Deodoro Roca Textos Universitarios Escogidos Andrade y Rabinovich

H. Andrade, L. Rabinovich. In: . 2018

On the correlation between testing effort and software complexity metrics

Adnan Muslija, Eduard Paul Enoiu. In: PeerJ Prepr.. 2018

Abstract: Software complexity metrics, such as code size and cyclomatic complexity, have been used in the software engineering community for predicting quality metrics such as maintainability, bug proneness and robustness. However, not many studies have addressed the relationship between complexity metrics and software testing and there is little experimental evidence to support the use of these code metric...

Special issue: Trust management

B. Esfandiari, J. Steghöfer. In: Web Intell.. 2018

Abstract: This special issue includes two high quality papers on the recent advances in trust management. These papers are extended versions of selected papers accepted at the 11th IFIP WG 11.11 International Conference on Trust Management, held in Gothenburg, Sweden, on June 12–16, 2017. Trust management has found increasing relevance given the current context of uncertainty in the quality of software down...

Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT

R. Hebig, Christoph Seidl, T. Berger, John Kook Pedersen, A. Wąsowski. In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 2018

Abstract: In Model-Driven Software Development, models are automatically processed to support the creation, build, and execution of systems. A large variety of dedicated model-transformation languages exists, promising to efficiently realize the automated processing of models. To investigate the actual benefit of using such specialized languages, we performed a large-scale controlled experiment in which ove...

Teaching and Fostering Reflection in Software Engineering Project Courses

Håkan Burden, J. Steghöfer. In: Agile and Lean Concepts for Teaching and Learning. 2018

Experiences Applying \hbox e^3 Value Modeling in a Cross-Company Study

J. Horkoff, Juho Lindman, I. Hammouda, E. Knauss. In: . 2018

Fighting CPS Complexity by Component-Based Software Development of Multi-Mode Systems

Hang Yin, Hans A. Hansson. In: Designs. 2018

Abstract: Growing software complexity is an increasing challenge for the software development of modern cyber-physical systems. A classical strategy for taming this complexity is to partition system behaviors into different operational modes specified at design time. Such a multi-mode system can change behavior by switching between modes at run-time. A complementary approach for reducing software complexity...

How do we teach modelling and model-driven engineering?: a survey

Federico Ciccozzi, Michalis Famelis, G. Kappel, L. Lambers, S. Mosser et al. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2018

Abstract: Understanding the experiences of instructors teaching modelling and model-driven engineering is of great relevance to determining how MDE courses should be managed in terms of content, assessment, and teaching methods. In this paper, we report the results of a survey of 47 instructors in this field. Questions address course content, tools and technologies used, as well as positive and negative fac...

Towards an adaptive city journey planner with MDE

A. Bucchiarone, A. Cicchetti. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2018

Abstract: Although there are many city journey planners already available in the market and involving various transportation services, there is none yet that allows city mobility operators and local government municipalities to be an active part of the city's mobility. In this demonstrator, we present our first attempt towards multi-view based modelling of adaptive and multimodal city journey planners. In p...

A Model-Driven Solution to Support Smart Mobility Planning

A. Bucchiarone, A. Cicchetti. In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 2018

Abstract: Multimodal journey planners have been introduced with the goal to provide travellers with itineraries involving two or more means of transportation to go from one location to another within a city. Most of them take into account user preferences, their habits and are able to notify travellers with real time traffic information, delays, schedules update, etc.. To make urban mobility more sustainabl...