Review on : Domain Science and Engineering - A Foundation for Software Development: By Dines Bjørner Monographs in Theoretical Computer Science, Springer International Publishing, ISBN 3030734831, 1st ed., 400 pages, 2021.

J. Paul Gibson John Paul Gibson http://www-public.tem-tsp.eu/~gibson/ https://scholar.google.com/citations?user=FqpABj8AAAAJ https://dl.acm.org/profile/81100256695 Telecom Sud Paris, France

J. Paul Gibson Review on : Domain Science and Engineering - A Foundation for Software Development: By Dines Bjørner Monographs in Theoretical Computer Science, Springer International Publishing, ISBN 3030734831, 1st ed., 400 pages, 2021. 24:1-24:3 2025 September 37 Formal Aspects Comput. 3 https://doi.org/10.1145/3721144 db/journals/fac/fac37.html#Gibson25 streams/journals/fac

Damian Gordon Ioannis Stavrakakis J. Paul Gibson Brendan Tierney Anna Becevel Andrea Curley Michael Collins William O'Mahony Dympna O'Sullivan Perspectives on computing ethics: a multi-stakeholder analysis. 72-90 2022 20 J. Inf. Commun. Ethics Soc. 1 https://doi.org/10.1108/JICES-12-2020-0127 db/journals/jices/jices20.html#GordonSGTBCCOO22

Paul Doyle Brian Keegan Damian Gordon Anna Becevel J. Paul Gibson Zhiying Jiang Dympna O'Sullivan The World Is Our Classroom: Developing a Model for International Virtual Internships - The Global Innovations Project. 297-303 2022 CSEDU (1) https://doi.org/10.5220/0011075900003182 conf/csedu/2022-1 db/conf/csedu/csedu2022-1.html#DoyleKGBGJO22 Dympna O'Sullivan J. Paul Gibson Yael Jacob Ioannis Stavrakakis Damian Gordon The Future of Medicine Is Digital: Exploring the Ethics of Digital Pills. 1120-1121 2021 MedInfo https://doi.org/10.3233/SHTI220297 conf/medinfo/2021 db/conf/medinfo/medinfo2021.html#OSullivanGJSG21 Yamine Aït Ameur Idir Aït-Sadoune P. Casteran J. Paul Gibson Kahina Hacid Souad Kherroubi Dominique Méry Linda Mohand-Oussaïd Neeraj Kumar Singh 0001 Laurent Voisin On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. 425-430 2018 ABZ https://doi.org/10.1007/978-3-319-91271-4_35 conf/asm/2018 db/conf/asm/abz2018.html#AmeurACGHKMMSV18 J. Paul Gibson Peter Gorm Larsen Marc Pantel John S. Fitzgerald Jim Woodcock 0001 Cyber-Physical Systems Engineering: An Introduction. 407-410 2018 ISoLA (3) https://doi.org/10.1007/978-3-030-03424-5_27 conf/isola/2018-3 db/conf/isola/isola2018-3.html#GibsonLPFW18 Abderrahim Ait Wakrime J. Paul Gibson Jean-Luc Raffy Formalising the Requirements of an E-Voting Software Product Line Using Event-B. 78-84 2018 WETICE https://doi.org/10.1109/WETICE.2018.00022 https://doi.ieeecomputersociety.org/10.1109/WETICE.2018.00022 conf/wetice/2018 db/conf/wetice/wetice2018.html#WakrimeGR18

Leye Wang Daqing Zhang 0001 Haoyi Xiong John Paul Gibson Chao Chen 0004 Bing Xie ecoSense: Minimize Participants' Total 3G Data Cost in Mobile Crowdsensing Using Opportunistic Relays. 965-978 2017 47 IEEE Trans. Syst. Man Cybern. Syst. 6 https://doi.org/10.1109/TSMC.2016.2523902 db/journals/tsmc/tsmc47.html#WangZXGCX17

J. Paul Gibson Souad Kherroubi Dominique Méry Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. 124-138 2017 FORTE https://doi.org/10.1007/978-3-319-60225-7_9 conf/forte/2017 db/conf/forte/forte2017.html#GibsonKM17 J. Paul Gibson Dominique Méry Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD 2017 64-79 journals/corr/abs-1805-04636 https://doi.org/10.4204/EPTCS.271.5 http://arxiv.org/abs/1805.05517 db/series/eptcs/eptcs271.html#abs-1805-05517

J. Paul Gibson Robert Krimmer Vanessa Teague Julia Pomares A review of E-voting: the past, present and future. 279-286 2016 71 Ann. des Télécommunications 7-8 https://doi.org/10.1007/s12243-016-0525-8 db/journals/adt/adt71.html#GibsonKTP16

J. Paul Gibson Idir Aït-Sadoune Marc Pantel Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. 321-324 2016 ISoLA (1) https://doi.org/10.1007/978-3-319-47166-2_22 conf/isola/2016-1 db/conf/isola/isola2016-1.html#GibsonAP16

Haoyi Xiong Daqing Zhang 0001 Leye Wang J. Paul Gibson Jie Zhu EEMC: Enabling Energy-Efficient Mobile Crowdsensing with Anonymous Participants. 39:1-39:26 2015 6 ACM Trans. Intell. Syst. Technol. 3 https://doi.org/10.1145/2644827 db/journals/tist/tist6.html#XiongZWGZ15

Olivier Berger J. Paul Gibson Claire Lecocq Christian Bac Designing a Virtual Laboratory for a Relational Database MOOC. 260-268 2015 CSEDU (1) conf/csedu/2015-1 db/conf/csedu/csedu2015-1.html#BergerGLB15 J. Paul Gibson Idir Aït-Sadoune Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. 570-572 2014 ISoLA (2) https://doi.org/10.1007/978-3-662-45231-8_47 conf/isola/2014-2 db/conf/isola/isola2014-2.html#GibsonA14 Yamine Aït Ameur J. Paul Gibson Dominique Méry On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. 604-618 2014 ISoLA (2) https://doi.org/10.1007/978-3-662-45231-8_50 conf/isola/2014-2 db/conf/isola/isola2014-2.html#AmeurGM14

J. Paul Gibson Isabelle Perseil Introduction to UML and Formal Methods. 32-33 2012 37 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/2237796.2237825 db/journals/sigsoft/sigsoft37.html#GibsonP12

J. Paul Gibson Teaching graph algorithms to children of all ages. 34-39 2012 ITiCSE https://doi.org/10.1145/2325296.2325308 conf/iticse/2012 db/conf/iticse/iticse2012.html#Gibson12 John Paul Gibson Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). (Formal software engineering: theory, practice and teaching (learning from the E-voting experience)). 2011 Telecom SudParis, France https://tel.archives-ouvertes.fr/tel-01363179

Isabelle Perseil J. Paul Gibson Introduction to special issue: papers from UML&FM'2011. 225-226 2011 7 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-011-0173-0 db/journals/isse/isse7.html#PerseilG11

J. Paul Gibson Jean-Luc Raffy Eric Lallet Formal object-oriented development of a voting system test oracle. 237-245 2011 7 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-011-0167-y db/journals/isse/isse7.html#GibsonRL11

J. Paul Gibson Damien MacNamara Ken Oakley Just like paper and the 3-colour protocol: A voting interface requirements engineering case study. 66-75 2011 REVOTE https://doi.org/10.1109/REVOTE.2011.6045917 https://doi.ieeecomputersociety.org/10.1109/REVOTE.2011.6045917 conf/re/2011revote db/conf/re/revote2011.html#GibsonMO11 J. Paul Gibson Eric Lallet Jean-Luc Raffy Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. 89-108 2010 ISARCS https://doi.org/10.1007/978-3-642-13556-9_6 conf/isarcs/2010 db/conf/isarcs/isarcs2010.html#GibsonLR10 J. Paul Gibson Eric Lallet Jean-Luc Raffy Feature Interactions in a Software Product Line for E-voting. 91-106 2009 ICFI https://doi.org/10.3233/978-1-60750-014-8-91 conf/fiw/2009 db/conf/fiw/icfi2009.html#GibsonLR09 J. Paul Gibson Software reuse and plagiarism: a code of practice. 55-59 2009 ITiCSE https://doi.org/10.1145/1562877.1562900 https://doi.org/10.1145/1595496.1562900 conf/iticse/2009 db/conf/iticse/iticse2009.html#Gibson09

Damien Woods J. Paul Gibson Lower bounds on the computational power of an optical model of computation. 95-108 2008 7 Nat. Comput. 1 https://doi.org/10.1007/s11047-007-9039-7 db/journals/nc/nc7.html#WoodsG08

J. Paul Gibson Eric Lallet Jean-Luc Raffy Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements. 58-64 2008 ICSEA https://doi.org/10.1109/ICSEA.2008.18 https://doi.ieeecomputersociety.org/10.1109/ICSEA.2008.18 conf/icsea/2008 db/conf/icsea/icsea2008.html#GibsonLR08 J. Paul Gibson Weaving a Formal Methods Education with Problem-Based Learning. 460-472 2008 ISoLA https://doi.org/10.1007/978-3-540-88479-8_32 conf/isola/2008 db/conf/isola/isola2008.html#Gibson08 J. Paul Gibson E-Voting and the Need for Rigourous Software Engineering - The Past, Present and Future. 1 2007 conf/b/2007 B https://doi.org/10.1007/11955757_1 db/conf/b/b2007.html#Gibson07 Dominique Cansell J. Paul Gibson Dominique Méry Formal verification of tamper-evident storage for e-voting. 329-338 2007 conf/sefm/2007 SEFM https://doi.org/10.1109/SEFM.2007.21 https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.21 db/conf/sefm/sefm2007.html#CansellGM07 Jackie O'Kelly J. Paul Gibson RoboCode & problem-based learning: a non-prescriptive approach to teaching programming. 217-221 2006 conf/iticse/2006 ITiCSE https://doi.org/10.1145/1140124.1140182 https://doi.org/10.1145/1140123.1140182 db/conf/iticse/iticse2006.html#OKellyG06 Margaret McGaley J. Paul Gibson A Critical Analysis of the Council of Europe Recommendations on E-Voting. 2006 EVT https://www.usenix.org/conference/evt-06/critical-analysis-council-europe-recommendations-e-voting conf/uss/2006evt db/conf/uss/evt2006.html#McGaleyG06 Dominique Cansell J. Paul Gibson Dominique Méry Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. 39-55 2006 conf/icfem/2006fmis FMIS@ICFEM https://doi.org/10.1016/j.entcs.2007.01.060 https://www.wikidata.org/entity/Q123359931 db/journals/entcs/entcs183.html#CansellGM07 Damien Woods J. Paul Gibson Complexity of Continuous Space Machine Operations. 540-551 2005 conf/cie/2005 CiE https://doi.org/10.1007/11494645_66 db/conf/cie/cie2005.html#WoodsG05 Stephen Hallinan J. Paul Gibson A Graduate's Role in Technology Transfer: From Requirements to Design with UML. 94-99 2005 conf/iastedSE/2005 IASTED Conf. on Software Engineering db/conf/iastedSE/se2005.html#HallinanG05 J. Paul Gibson Jackie O'Kelly Software engineering as a model of understanding for learning and problem solving. 87-97 2005 ICER https://doi.org/10.1145/1089786.1089795 conf/icer/2005 db/conf/icer/icer2005.html#GibsonO05 Des Traynor J. Paul Gibson Synthesis and analysis of automatic assessment methods in CS1: generating intelligent MCQs. 495-499 2005 conf/sigcse/2005 SIGCSE https://doi.org/10.1145/1047344.1047502 https://doi.org/10.1145/1047124.1047502 db/conf/sigcse/sigcse2005.html#TraynorG05 Damien Woods J. Paul Gibson Lower Bounds on the Computational Power of an Optical Model of Computation. 237-250 2005 conf/uc/2005 UC https://doi.org/10.1007/11560319_22 db/conf/uc/uc2005.html#WoodsG05 Des Traynor J. Paul Gibson Implementing Cognitive Modellig in CS Education: Aligning Theory and Practice of Learning to Program. 533-536 2004 conf/iadis/2004celda CELDA db/conf/iadis/celda2004.html#TraynorG04 Des Traynor J. Paul Gibson Towards the development of a cognitive model of programming: a software engineering proposal. 9 2004 PPIG https://ppig.org/papers/2004-ppig-16th-traynor/ conf/ppig/2004 db/conf/ppig/ppig2004.html#TraynorG04 Peter J. Clarke Brian A. Malloy J. Paul Gibson Using a Taxonomy Tool to Identify Changes in OO Softwar. 213-222 2003 conf/csmr/2003 CSMR https://doi.org/10.1109/CSMR.2003.1192429 https://doi.ieeecomputersociety.org/10.1109/CSMR.2003.1192429 db/conf/csmr/csmr2003.html#ClarkeMG03 Edward B. Duffy J. Paul Gibson Brian A. Malloy Applying the Decorator Pattern for Profiling Object-Oriented Software. 84-93 2003 conf/iwpc/2003 IWPC https://doi.org/10.1109/WPC.2003.1199192 https://doi.ieeecomputersociety.org/10.1109/WPC.2003.1199192 db/conf/iwpc/iwpc2003.html#DuffyGM03 J. Paul Gibson A noughts and crosses Java applet to teach programming to primary school children. 85-88 2003 conf/pppj/2003 PPPJ https://dl.acm.org/citation.cfm?id=957315 db/conf/pppj/pppj2003.html#Gibson03 David C. Rine James F. Power J. Paul Gibson ACM SAC2002 software engineering: theory and applications (SETA) track description. 969-970 2002 conf/sac/2002 SAC https://doi.org/10.1145/508791.508980 db/conf/sac/sac2002.html#RinePG02 J. Paul Gibson Formal Requirements Engineering: Learning from the Students. 171-180 2000 conf/aswec/2000 Australian Software Engineering Conference https://doi.org/10.1109/ASWEC.2000.844574 https://doi.ieeecomputersociety.org/10.1109/ASWEC.2000.844574 db/conf/aswec/aswec2000.html#Gibson00 J. Paul Gibson Geoff W. Hamilton Dominique Méry A Taxonomy for Triggered Interactions Using Fair Object Semantics. 193-209 2000 conf/fiw/2000 FIW db/conf/fiw/fiw2000.html#GibsonHM00 David Sinclair James F. Power J. Paul Gibson David Gray Geoff W. Hamilton Specifying and Verifying IP with Linear Logic. E104-E110 2000 conf/icdcsw/2000 ICDCS Workshop on Distributed System Validation and Verification db/conf/icdcsw/icdcsw2000.html#SinclairPGGH00 J. Paul Gibson Thomas F. Dowling Brian A. Malloy The Application of Correctness Preserving Transformations to Software Maintenance. 108- 2000 conf/icsm/2000 ICSM https://doi.org/10.1109/ICSM.2000.883025 https://doi.ieeecomputersociety.org/10.1109/ICSM.2000.883025 db/conf/icsm/icsm2000.html#GibsonDM00 David Sinclair J. Paul Gibson 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 IWFM Workshops in Computing BCS 2000 db/conf/iwfm/iwfm2000.html J. Paul Gibson Dominique Méry Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. 155-179 1999 conf/ershov/1999 Ershov Memorial Conference https://doi.org/10.1007/3-540-46562-6_14 db/conf/ershov/ershov1999.html#GibsonM99 J. Paul Gibson Geoff W. Hamilton Dominique Méry Integration Problems in Telephone Feature Requirements. 129-148 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#GibsonHM99 https://doi.org/10.1007/978-1-4471-0851-1_8 David Gray Geoff W. Hamilton David Sinclair J. Paul Gibson James F. Power Four Logics and a Protocol. 1999 conf/iwfm/1999 IWFM db/conf/iwfm/iwfm1999.html#GrayHSGP99 http://ewic.bcs.org/content/ConWebDoc/4227 J. Paul Gibson Towards a Feature Interaction Algebra. 217-231 1998 conf/fiw/1998 FIW db/conf/fiw/fiw1998.html#Gibson98 J. Paul Gibson Dominique Méry Teaching Formal Methods: Lessons to Learn. 1998 conf/iwfm/1998 IWFM db/conf/iwfm/iwfm1998.html#GibsonM98 http://ewic.bcs.org/content/ConWebDoc/4386 J. Paul Gibson Feature Requirements Models: Understanding Interactions. 46-60 1997 conf/fiw/1997 FIW db/conf/fiw/fiw1997.html#Gibson97 J. Paul Gibson Bruno Mermet Dominique Méry Feature Interactions: A Mixed Semantic Model Approach. 1997 conf/iwfm/1997 IWFM db/conf/iwfm/iwfm1997.html#GibsonMM97 http://ewic.bcs.org/content/ConWebDoc/4608 Dominique Méry J. Paul Gibson Telephone feature verification: Translating SDL to TLA+. 103-118 1997 conf/sdl/1997 SDL Forum db/conf/sdl/sdl1997.html#MeryG97 J. Paul Gibson Formal object oriented development of software systems using LOTOS. 1993 University of Stirling, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334669 British Library, EThOS Yamine Aït-AmeurYamine Aït Ameur Idir Aït-Sadoune Christian Bac Anna Becevel Olivier Berger Dominique Cansell P. Casteran Chao Chen 0004 Peter J. Clarke Michael Collins Andrea Curley Thomas F. Dowling Paul Doyle Edward B. Duffy John S. Fitzgerald Damian Gordon David Gray Kahina Hacid Stephen Hallinan Geoff W. Hamilton Yael Jacob Zhiying Jiang Brian Keegan Souad Kherroubi Robert Krimmer Eric Lallet Peter Gorm Larsen Claire Lecocq Damien MacNamara Brian A. Malloy Margaret McGaley Bruno Mermet Dominique Méry Linda Mohand-Oussaïd Ken Oakley Jackie O'Kelly William O'Mahony Dympna O'Sullivan Marc Pantel Isabelle Perseil Julia Pomares James F. Power Jean-Luc Raffy David C. Rine David Sinclair Neeraj Kumar Singh 0001 Ioannis Stavrakakis Vanessa Teague Brendan Tierney Des Traynor Laurent Voisin Abderrahim Ait Wakrime Leye Wang Jim Woodcock 0001 Damien Woods Bing Xie Haoyi Xiong Daqing Zhang 0001 Jie Zhu