![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
, 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.