error handling and recovery

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

formal methods

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)

formal specification

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

mathematics

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

reading Z

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

software/program verification

Giovanni, Liva, Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 , Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:https://doi.org/10.1109/TSE.2019.2948351)