SC Harvester Papers Database Interface

The Perception of Technical Debt in the Embedded Systems Domain: An Industrial Case Study

Areti Ampatzoglou, Apostolos Ampatzoglou, A. Chatzigeorgiou, P. Avgeriou, P. Abrahamsson et al. In: 2016 IEEE 8th International Workshop on Managing Technical Debt (MTD). 2016

How “Specification by Example” and Test-Driven Development Help to Avoid Technial Debt

W. Trumler, Frances Paulisch. In: 2016 IEEE 8th International Workshop on Managing Technical Debt (MTD). 2016

A Key Performance Indicator Quality Model and Its Industrial Evaluation

M. Staron, Wilhelm Meding, Kent Niesel, A. Abran. In: 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM-MENSURA). 2016

Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems

Federico Ciccozzi, D. D. Ruscio, I. Malavolta, Patrizio Pelliccione. In: IEEE Access. 2016

Abstract: Robots are meant to replace humans for a broad variety of everyday tasks, such as environmental monitoring or patrolling large public areas for security assurance. The main focus of researchers and practitioners has been on providing tailored software and hardware solutions for very specific and often complex tasks. On one hand, these solutions show great potential and provide advanced capabilitie...

On the automated translational execution of the action language for foundational UML

Federico Ciccozzi. In: Software and Systems Modeling. 2016

On the automated translational execution of the action language for foundational UML

Federico Ciccozzi. In: Software and Systems Modeling. 2016

Abstract: To manage the rapidly growing complexity of software development, abstraction and automation have been recognised as powerful means. Among the techniques pushing for them, model-driven engineering has gained increasing attention from industry for, among others, the possibility to automatically generate code from models. To generate fully executable code, models should describe complex behaviours. ...

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems

A. Ruiz, B. Gallina, J. Vara, S. Mazzini, H. Espinoza. In: . 2016

Towards Cloud-Based Enactment of Safety-Related Processes

Sami Alajrami, B. Gallina, Irfan Šljivo, A. Romanovsky, Petter Isberg. In: . 2016

Configuration-Aware Contracts

Irfan Šljivo, B. Gallina, Jan Carlson, H. Hansson. In: . 2016

On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques

J. F. S. Ouriques, E. Cartaxo, Patricia D. L. Machado, F. D. O. Neto, A. E. V. B. Coutinho. In: Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing. 2016

Holistic security requirements analysis for socio-technical systems

Tong Li, J. Horkoff, J. Mylopoulos. In: Software & Systems Modeling. 2016

Experiences from reengineering and modularizing a legacy software generator with a projectional language workbench

Max Lillack, T. Berger, R. Hebig. In: Proceedings of the 20th International Systems and Software Product Line Conference. 2016

Editorial

M. Tichy, J. Bosch, M. Goedicke. In: J. Syst. Softw.. 2016

Continuous Integration Beyond the Team: A Tooling Perspective on Challenges in the Automotive Industry

E. Knauss, Patrizio Pelliccione, Rogardt Heldal, Magnus Ågren, S. Hellman et al. In: Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. 2016

Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation

B. Gallina, Julieth Patricia Castellanos Ardila, M. Nyberg. In: . 2016