default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations 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, Eleni Berki, Petros S. Stefaneas, George Koletsos:
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, Mohamad Kassab, Phillip A. Laplante, Nancy L. Laplante:
The nonfunctional requirement focus in medical device software: a systematic mapping study and taxonomy. 81-100 - Eleni Constantinou, Tom Mens:
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, Linda Badri, William Flageol, Fadel Touré:
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, Santanu Kumar Rath:
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, Ali Mili:
What is a fault? and why does it matter? 219-239
Volume 13, Number 4, December 2017
- Al-Sakib Khan Pathan, Yudong Zhang, Sambit Bakshi, Patrick Siarry, Pankaj Kumar Sa, Nabendu Chaki, Agostino Cortesi:
Introduction to special issue on 'intelligent computing and adaptive systems'. 241-242 - Indranil Guha, Nirmal Das, Pranati Rakshit, Mita Nasipuri, Punam K. Saha, Subhadip Basu:
A semiautomatic approach for segmentation of carotid vasculature from patients' CTA images. 243-250 - Rakesh Kumar Mishra, Sankhayan Choudhury, Nabendu Chaki:
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, Mohammad Salih Alsaffar:
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 2025-10-29 01:40 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:
