Browsing by Author Pace, Gordon J.

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 57 to 76 of 156 < previous   next >
Issue DateTitleAuthor(s)
2008An embedded domain specific language to model, transform and quality assure business processes in business-driven developmentMicallef, Luana; Pace, Gordon J.
2007An embedded geometrical language in Haskell : construction, visualisation, proofGrima, Maria; Pace, Gordon J.
2002An embedded language approach to teaching hardware compilationClaessen, Koen; Pace, Gordon J.
2002An embedded language framework for hardware compilationClaessen, Koen; Pace, Gordon J.
2009Embedded languages for business process modelling, transformation and quality assurance in business-driven developmentMicallef, Luana; Pace, Gordon J.
2017Embedded languages for origami-based geometryCaruana, Gaetano; Pace, Gordon J.
2007Embedding a hardware description language in a functional meta-programming languagePace, Gordon J.; Tabone, Christian
2017Engineering adaptive user interfaces using monitoring-oriented programmingBuhagiar, Aaron John; Pace, Gordon J.; Ebejer, Jean-Paul
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2009Evolutionary algorithms for definition extractionBorg, Claudia; Rosner, Mike; Pace, Gordon J.
2014Explaining violation traces with finite state natural language generation modelsPace, Gordon J.; Rosner, Michael
2013Extensible technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2009-09FLACOS’09 Workshop proceedingsPace, Gordon J.; Schneider, Gerardo
2005Foresight embedding in MaltaCassingena Harper, Jennifer; Pace, Gordon J.
1998Formal reasoning with Verilog HDLPace, Gordon J.; He, Jifeng
2015A framework for the generation of computer system diagnostics in natural language using finite state methodsFarrell, Rachel; Pace, Gordon J.; Rosner, Michael
2015-08A framework for the generation of computer system diagnostics in natural language using finite state methodsFarell, Rachel; Pace, Gordon J.; Rosner, Mike
2006Functional HDLs : a historical overviewCordina, Joseph; Pace, Gordon J.
2011Guest editors’ forewordPace, Gordon J.; Schneider, Gerardo