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 74  next >
Issue DateTitleAuthor(s)
2021Assessing cognitive workload during software engineering activitiesAnastasi, Sean (2021)
2004An automated reuse frameworkVella, Simon (2004)
1994Automatic PCB drillingIncorvaja, Marco (1994
2021The best a monitor can doAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021Better late than never or : verifying asynchronous components at runtimeAttard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2006A brief comparison of real-time software design methodsSpiteri Staines, Tony
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2021-04A choreographed outline instrumentation approach for asynchronous componentsAceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2014Comic strips for electrical and electronic engineering - a novel genrePulé, Sarah
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2021Computer says no : verdict explainability for runtime monitors using a local proofFrancalanza, Adrian; Cini, Clare
2018Considering academia-industry projects meta-characteristics in runtime verification designColombo, Christian; Pace, Gordon J.
2022Constructing and analysing knowledge maps via source code repository analysisPiscopo, Jack (2022)
2019COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1Ahrendt, 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
2018COST Action IC1402 runtime verification beyond monitoringColombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2014Design, construction, study of a holodeck inspired human computer interfaceDemanuele, Stephen (2014)
2011Detecting and managing knowledge risk in software development processesMicallef, Mark (2011)
2016Do exploratory testers need formal training? An investigation using HCI techniquesMicallef, Mark; Porter, Chris; Borg, Andrea
2017Engineering adaptive user interfaces using monitoring-oriented programmingBuhagiar, Aaron John; Pace, Gordon J.; Ebejer, Jean Paul