OAR@UM: Browsing OAR@UM

Browsing by Subject Software engineering

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 1 to 20 of 75 next >

Issue Date	Title	Author(s)
2021	Assessing cognitive workload during software engineering activities	Anastasi, Sean (2021)
2004	An automated reuse framework	Vella, Simon (2004)
1994	Automatic PCB drilling	Incorvaja, Marco (1994
2021	The best a monitor can do	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021	Better late than never or : verifying asynchronous components at runtime	Attard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2006	A brief comparison of real-time software design methods	Spiteri Staines, Tony
2013	A case study on graphically modelling and detecting knowledge mobility risks	Micallef, Mark; Colombo, Christian
2021-04	A choreographed outline instrumentation approach for asynchronous components	Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2014	Comic strips for electrical and electronic engineering - a novel genre	Pulé, Sarah
2021	Comparing controlled system synthesis and suppression enforcement	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2016	Compliance checking in the open payments ecosystem	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2021	Computer says no : verdict explainability for runtime monitors using a local proof	Francalanza, Adrian; Cini, Clare
2018	Considering academia-industry projects meta-characteristics in runtime verification design	Colombo, Christian; Pace, Gordon J.
2022	Constructing and analysing knowledge maps via source code repository analysis	Piscopo, Jack (2022)
2019	COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1	Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2018	COST Action IC1402 runtime verification beyond monitoring	Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2014	Design, construction, study of a holodeck inspired human computer interface	Demanuele, Stephen (2014)
2011	Detecting and managing knowledge risk in software development processes	Micallef, Mark (2011)
2016	Do exploratory testers need formal training? An investigation using HCI techniques	Micallef, Mark; Porter, Chris; Borg, Andrea
2017	Engineering adaptive user interfaces using monitoring-oriented programming	Buhagiar, Aaron John; Pace, Gordon J.; Ebejer, Jean Paul

Showing results 1 to 20 of 75 next >