default search action
Innovations in Systems and Software Engineering, Volume 13
Volume 13, Number 1, March 2017
- Matthew L. Bolton, Xi Zheng, Kylie Molinaro, Adam Houser
, Meng Li:
Improving the scalability of formal human-automation interaction verification analyses that use task-analytic models. 1-17 - Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
A methodology for verifying SysML requirements using activity diagrams. 19-33 - Gerard J. Holzmann
Cobra: a light-weight tool for static and dynamic program analysis. 35-49 - Konstantinos Barlas
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. 51-66 - Doron Drusinsky:
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data. 67-79
Volume 13, Numbers 2-3, September 2017
- Joanna F. DeFranco
The nonfunctional requirement focus in medical device software: a systematic mapping study and taxonomy. 81-100 - Eleni Constantinou
An empirical comparison of developer retention in the RubyGems and npm software ecosystems. 101-115 - Doron Drusinsky
Reverse engineering concurrent UML state machines using black box testing and genetic programming. 117-128 - Joanna F. DeFranco, Phillip A. Laplante
A content analysis process for qualitative software engineering research. 129-141 - Mourad Badri
Source code size prediction using use case metrics: an empirical comparison with use case points. 143-159 - Satish Mahadevan Srinivasan, Raghvinder S. Sangwan, Colin J. Neill
On the measures for ranking software components. 161-175 - Anjana Gosain, Ganga Sharma
Object-oriented dynamic complexity measures for software understandability. 177-190 - Shashank Mouli Satapathy
Empirical assessment of machine learning models for agile software development effort estimation using story points. 191-200 - Raed Shatnawi
The application of ROC analysis in threshold identification, data imbalance and metrics selection for software fault prediction. 201-217 - Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua
What is a fault? and why does it matter? 219-239
Volume 13, Number 4, December 2017
- Al-Sakib Khan Pathan
Introduction to special issue on 'intelligent computing and adaptive systems'. 241-242 - Indranil Guha
A semiautomatic approach for segmentation of carotid vasculature from patients' CTA images. 243-250 - Rakesh Kumar Mishra
TelePatch: a middle layer for screening device fragmentation. 251-259 - Sumit Misra, Sanjoy Kumar Saha, Chandan Mazumdar:
A dynamic model for short-term prediction of stream attributes. 261-269 - Dipankar Deb, Aditya Ghose, Nabendu Chaki
A framework for business process modeling by QoS-based pruning. 271-278 - Nitish Pandey, Debarshi Kumar Sanyal, Abir Hudait, Amitava Sen:
Automated classification of software issue reports using machine learning techniques: an empirical study. 279-297 - Mithileysh Sathiyanarayanan
Small multiples Euler-time diagrams for software engineering. 299-307
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: