Exploring explainability: a definition, a model, and a knowledge catalogue

L Chazette, W Brunotte, T Speith - 2021 IEEE 29th international …, 2021 - ieeexplore.ieee.org
The growing complexity of software systems and the influence of software-supported
decisions in our society awoke the need for software that is transparent, accountable, and …

[HTML][HTML] A review of machine learning algorithms for identification and classification of non-functional requirements

M Binkhonain, L Zhao - Expert Systems with Applications: X, 2019 - Elsevier
Context Recent developments in requirements engineering (RE) methods have seen a
surge in using machine-learning (ML) algorithms to solve some difficult RE problems. One …

Machine learning testing: Survey, landscapes and horizons

JM Zhang, M Harman, L Ma… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
This paper provides a comprehensive survey of techniques for testing machine learning
systems; Machine Learning Testing (ML testing) research. It covers 144 papers on testing …

Csrnet: Dilated convolutional neural networks for understanding the highly congested scenes

Y Li, X Zhang, D Chen - … of the IEEE conference on computer …, 2018 - openaccess.thecvf.com
We propose a network for Congested Scene Recognition called CSRNet to provide a data-
driven and deep learning method that can understand highly congested scenes and perform …

Norbert: Transfer learning for requirements classification

T Hey, J Keim, A Koziolek… - 2020 IEEE 28th …, 2020 - ieeexplore.ieee.org
Classifying requirements is crucial for automatically handling natural language
requirements. The performance of existing automatic classification approaches diminishes …

Modeling cyber–physical systems

P Derler, EA Lee, AS Vincentelli - Proceedings of the IEEE, 2011 - ieeexplore.ieee.org
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

[HTML][HTML] Analyzing the performance of a blockchain-based personal health record implementation

A Roehrs, CA da Costa, R da Rosa Righi… - Journal of biomedical …, 2019 - Elsevier
Abstract Background The Personal Health Record (PHR) and Electronic Health Record
(EHR) play a key role in more efficient access to health records by health professionals and …

Requirements engineering: a roadmap

B Nuseibeh, S Easterbrook - Proceedings of the Conference on the …, 2000 - dl.acm.org
Requirements Engineering: A Roadmap Page 1 Requirements Engineering: A Roadmap
Bashar Nuseibeh & Steve Easterbrook Key Research Pointers Better modelling and analysis of …

Goal-oriented requirements engineering: A guided tour

A Van Lamsweerde - Proceedings fifth ieee international …, 2001 - ieeexplore.ieee.org
Goals capture, at different levels of abstraction, the various objectives the system under
consideration should achieve. Goal-oriented requirements engineering is concerned with …

Tropos: An agent-oriented software development methodology

P Bresciani, A Perini, P Giorgini, F Giunchiglia… - Autonomous Agents and …, 2004 - Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos, 1 for
building agent oriented software systems. Tropos is based on two key ideas. First, the notion …