Browsing by Subject Computer software -- Quality control
Showing results 1 to 9 of 9
Issue Date | Title | Author(s) |
2005 | Defect analysis using a multivariate approach | Farrugia, Stefan (2005) |
2016 | Determinizing monitors for HML with recursion | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn |
2014 | Improving unified process methodology by implementing new quality management discipline | Todorovic, Boris |
2015 | Investigating instrumentation techniques for ESB runtime verification | Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian |
2012 | Simplifying contract-violating traces | Colombo, Christian; Francalanza, Adrian; Grima, Ian |
2009 | Slowdown invariance of timed regular expressions | Bondin, Ingram; Pace, Gordon J.; Colombo, Christian |
2008 | A theory of system behaviour in the presence of node and link failure | Francalanza, Adrian; Hennessy, Matthew |
2006 | Towards a RAD framework for e-commerce systems | Cachia, Ernest; Micallef, Mark |
2008 | A unified framework for verification techniques for object invariants | Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J. |