default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations in Systems and Software Engineering, Volume 14
Volume 14, Number 1, March 2018
- Adam Houser
, Lanssie Mingyue Ma, Karen M. Feigh, Matthew L. Bolton:
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios. 1-14 - Fadel Touré, Mourad Badri, Luc Lamontagne:
Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software. 15-46 - Seth Ahrenbach, Alwyn Goodloe:
Formal analysis of pilot error with agent safety logic. 47-58 - Anjana Gosain, Jaspreeti Singh:
Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques. 59-80
Volume 14, Number 2, June 2018
- Kamel Barkaoui, Hanifa Boucheneb:
Introduction to special issue on verification and evaluation of computer systems. 81-82 - Muhammad Saad Ayub, Osman Hasan:
Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures. 83-100 - Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros:
Maximal software execution time: a regression-based approach. 101-116 - Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec:
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. 117-142 - Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang:
FC-AMAT: factor-based C-AMAT analysis in memory system measurement. 143-156
Volume 14, Number 3, September 2018
- Marcelo Marinho, Suzana Sampaio, Hermano Perrelli de Moura:
Managing uncertainty in software projects. 157-181 - Olumide Akerele:
System dynamics modelling of the impact of agile practice on the quality of continuous delivery projects. 183-208 - Pichai Jodpimai, Peraphon Sophatsathit, Chidchanok Lursinsap:
Re-estimating software effort using prior phase efforts and data mining techniques. 209-228 - Redouane Bouchekir, Mohand Cherif Boukala:
Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process. 229-244
Volume 14, Number 4, December 2018
- Sajjad Ali:
Formal verification of SysML diagram using case studies of real-time system. 245-262 - Mohamad Kassab, Manuel Mazzara, JooYoung Lee, Giancarlo Succi:
Software architectural patterns in practice: an empirical study. 263-271 - Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek:
A model-driven approach for the generation of configurations for highly available software systems. 273-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-04-04 23:30 CEST 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:
