OAR@UM: Browsing OAR@UM

Browsing by Subject Computer software -- Development

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 46 to 65 of 109 < previous next >

Issue Date	Title	Author(s)
2021	Knock brush! Perceived impact of push-based notifications on software developers at home and at the office	Vella, Vanessa; Porter, Chris
2009	A language for modeling software development life cycles	Cachia, Ernest; Micallef, Mark
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2014	Leveraging P2P networks to address the test scenario explosion problem	Micallef, Mark; Attard, Conrad; Mangion, Andrea; Attard, Sebastian
2013-11	Leveraging P2P systems to address the test scenario explosion problem	Mangion, Andrea; Attard, Sebastian; Micallef, Mark; Attard, Conrad
2014	Lifelong verification of software systems	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2015	An LTL proof system for runtime verification	Cini, Clare; Francalanza, Adrian
2012-11	Making mutation testing a more feasible proposition for the industry	Micallef, Mark; Cachia, Mark Anthony
2020	Mapping the future of legal personality	Ganado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2019	A multi-methodology modelling framework for software development projects	Vella, Ryan
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	On implementing a monitor-oriented programming framework for actor systems	Cassar, Ian; Francalanza, Adrian
2010	On knowledge management in software development life cycles	Cachia, Ernest; Micallef, Mark
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2015	On verifying Hennessy-Milner logic with recursion at runtime	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2019	OSLC adapter for ANaConDA	Vasicek, Ondrey
2013-11	Overview of peer-to-peer networks and challenges in trust and reputation	Mangion, Andrea; Micallef, Mark
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.

Showing results 46 to 65 of 109 < previous next >