External Links

    Journal: ISSE

    Volume 14, Issue 4

    245 -- 262Sajjad Ali. Formal verification of SysML diagram using case studies of real-time system
    263 -- 271Mohamad Kassab, Manuel Mazzara, Jooyoung Lee, Giancarlo Succi. Software architectural patterns in practice: an empirical study
    273 -- 307Pejman Salehi, Abdelwahab Hamou-Lhadj, Maria Toeroe, Ferhat Khendek. A model-driven approach for the generation of configurations for highly available software systems

    Volume 14, Issue 3

    157 -- 181Marcelo Marinho, Suzana Sampaio, Hermano Perrelli de Moura. Managing uncertainty in software projects
    183 -- 208Olumide Akerele. System dynamics modelling of the impact of agile practice on the quality of continuous delivery projects
    209 -- 228Pichai Jodpimai, Peraphon Sophatsathit, Chidchanok Lursinsap. Re-estimating software effort using prior phase efforts and data mining techniques
    229 -- 244Redouane Bouchekir, Mohand Cherif Boukala. Learning-based symbolic assume-guarantee reasoning for Markov decision process by using interval Markov process

    Volume 14, Issue 2

    81 -- 82Kamel Barkaoui, Hanifa Boucheneb. Introduction to special issue on verification and evaluation of computer systems
    83 -- 100Muhammad Saad Ayub, Osman Hasan. Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures
    101 -- 116Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros. Maximal software execution time: a regression-based approach
    117 -- 142Hela 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
    143 -- 156Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang. FC-AMAT: factor-based C-AMAT analysis in memory system measurement

    Volume 14, Issue 1

    1 -- 14Adam 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
    15 -- 46Fadel 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
    47 -- 58Seth Ahrenbach, Alwyn Goodloe. Formal analysis of pilot error with agent safety logic
    59 -- 80Anjana Gosain, Jaspreeti Singh. Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques
    runs on