Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jon G. Hall
@article{DBLP:journals/corr/abs-2206-03585,
author = {Gautam Srivastava and
Rutvij H. Jhaveri and
Sweta Bhattacharya and
Sharnil Pandya and
Rajeswari and
Praveen Kumar Reddy Maddikunta and
Gokul Yenduri and
Jon G. Hall and
Mamoun Alazab and
Thippa Reddy Gadekallu},
title = {{XAI} for Cybersecurity: State of the Art, Challenges, Open Issues
and Future Directions},
journal = {CoRR},
volume = {abs/2206.03585},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03585},
doi = {10.48550/ARXIV.2206.03585},
eprinttype = {arXiv},
eprint = {2206.03585},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stpis/CostantiniHR20,
author = {Silvana Costantini and
Jon G. Hall and
Lucia Rapanotti},
editor = {Peter M. Bednar and
Alexander Nolte and
Mikko Rajanen and
Helena Vallo Hult and
Anna Sigridur Islind and
Federico Pigni},
title = {Complex Project Management: Using Complexity and Volatility to Guide
Hybrid Methodological Practices},
booktitle = {Proceedings of the 6th International Workshop on Socio-Technical Perspective
in {IS} Development {(STPIS} 2020), Virtual conference in Grenoble,
France, June 8-9, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2789},
pages = {60--70},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2789/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/stpis/CostantiniHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/HallR17,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {A design theory for software engineering},
journal = {Inf. Softw. Technol.},
volume = {87},
pages = {46--61},
year = {2017},
url = {https://doi.org/10.1016/j.infsof.2017.01.010},
doi = {10.1016/J.INFSOF.2017.01.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/HallR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OHalloranHR17,
author = {Mark O'Halloran and
Jon G. Hall and
Lucia Rapanotti},
title = {Safety engineering with {COTS} components},
journal = {Reliab. Eng. Syst. Saf.},
volume = {160},
pages = {54--66},
year = {2017},
url = {https://doi.org/10.1016/j.ress.2016.11.016},
doi = {10.1016/J.RESS.2016.11.016},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/OHalloranHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CostantiniHR17,
author = {Silvana Costantini and
Jon G. Hall and
Lucia Rapanotti},
editor = {Stewart Kowalski and
Peter M. Bednar and
Ilia Bider},
title = {Problem Drift: a Risk Model for Complex Socio-technical Projects},
booktitle = {Proceedings of the 3rd International Workshop on Socio-Technical Perspective
in {IS} development (STPIS'17) co-located with 29th International
Conference on Advanced Information Systems Engineering (CAiSE 2017),
Essen, Germany, June 13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1854},
pages = {67--54},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1854/Paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:35 +0100},
biburl = {https://dblp.org/rec/conf/caise/CostantiniHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/HallRM17,
author = {Jon G. Hall and
Lucia Rapanotti and
Georgi A. Markov},
editor = {Chengcui Zhang and
Balaji Palanisamy and
Latifur Khan and
Sahra Sedigh Sarvestani},
title = {A Phenomenal Basis for Hybrid Modelling},
booktitle = {2017 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2017, San Diego, CA, USA, August 4-6, 2017},
pages = {291--297},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRI.2017.65},
doi = {10.1109/IRI.2017.65},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iri/HallRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallR16,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {Parameterising a theory of software problem solving},
booktitle = {Proceedings of the 5th International Workshop on Theory-Oriented Software
Engineering, TOSE@ICSE 2016, Austin, Texas, USA, May 14-22, 2016},
pages = {22--25},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897134.2897137},
doi = {10.1145/2897134.2897137},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HallR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallR15,
author = {Jon G. Hall and
Lucia Rapanotti},
editor = {Gregor Engels and
Michael Goedicke and
Ivar Jacobson and
Paul Ralph},
title = {Towards a Design-Theoretic Characterisation of Software Development
Process Models},
booktitle = {{IEEE/ACM} 4th {SEMAT} Workshop on a General Theory of Software Engineering,
{GTSE} 2015, Florence, Italy, May 18, 2015},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/GTSE.2015.8},
doi = {10.1109/GTSE.2015.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HallR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WermelingerHRBR15,
author = {Michel Wermelinger and
Jon G. Hall and
Lucia Rapanotti and
Leonor Barroca and
Magnus Ramage and
Arosha K. Bandara},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Teaching Software Systems Thinking at The Open University},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {307--310},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.161},
doi = {10.1109/ICSE.2015.161},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WermelingerHRBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallR15a,
author = {Jon G. Hall and
Lucia Rapanotti},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Masters-Level Software Engineering Education and the Enriched Student
Context},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {311--314},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.162},
doi = {10.1109/ICSE.2015.162},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HallR15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/0017HR14,
author = {Zhi Li and
Jon G. Hall and
Lucia Rapanotti},
title = {On the systematic transformation of requirements to specifications},
journal = {Requir. Eng.},
volume = {19},
number = {4},
pages = {397--419},
year = {2014},
url = {https://doi.org/10.1007/s00766-013-0173-8},
doi = {10.1007/S00766-013-0173-8},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/0017HR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HallR13,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {Beauty in Software Engineering},
journal = {Computer},
volume = {46},
number = {2},
pages = {85--87},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.42},
doi = {10.1109/MC.2013.42},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/HallR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall13,
author = {Jon G. Hall},
title = {Editorial},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {30},
number = {1},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1111/exsy.12012},
doi = {10.1111/EXSY.12012},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall13a,
author = {Jon G. Hall},
title = {Is tangled the new wicked?},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {30},
number = {2},
pages = {128},
year = {2013},
url = {https://doi.org/10.1111/exsy.12025},
doi = {10.1111/EXSY.12025},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/RapanottiZH13,
author = {Lucia Rapanotti and
Liping Zhao and
Jon G. Hall},
title = {Special section on advances and applications of problem orientation},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {30},
number = {3},
pages = {183--184},
year = {2013},
url = {https://doi.org/10.1111/exsy.12036},
doi = {10.1111/EXSY.12036},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/RapanottiZH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijitbag/ClarkeHR13,
author = {Michael Clarke and
Jon G. Hall and
Lucia Rapanotti},
title = {Enterprise Architecture: {A} Snapshot from Practice},
journal = {Int. J. {IT} Bus. Alignment Gov.},
volume = {4},
number = {1},
pages = {1--10},
year = {2013},
url = {https://doi.org/10.4018/jitbag.2013010101},
doi = {10.4018/JITBAG.2013010101},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijitbag/ClarkeHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/NkwochaHR13,
author = {Ann Nkwocha and
Jon G. Hall and
Lucia Rapanotti},
title = {Design rationale capture for process improvement in the globalised
enterprise: an industrial study},
journal = {Softw. Syst. Model.},
volume = {12},
number = {4},
pages = {825--845},
year = {2013},
url = {https://doi.org/10.1007/s10270-011-0223-y},
doi = {10.1007/S10270-011-0223-Y},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/NkwochaHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall12,
author = {Jon G. Hall},
title = {The cult of the (so-called) Expert System},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {29},
number = {2},
pages = {105--107},
year = {2012},
url = {https://doi.org/10.1111/j.1468-0394.2012.00617.x},
doi = {10.1111/J.1468-0394.2012.00617.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall12a,
author = {Jon G. Hall},
title = {Computing education that doesn't compute},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {29},
number = {3},
pages = {213--215},
year = {2012},
url = {https://doi.org/10.1111/j.1468-0394.2012.00628.x},
doi = {10.1111/J.1468-0394.2012.00628.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall12b,
author = {Jon G. Hall},
title = {The knowledge engineers' oath},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {29},
number = {4},
pages = {319--320},
year = {2012},
url = {https://doi.org/10.1111/exsy.12001},
doi = {10.1111/EXSY.12001},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall12c,
author = {Jon G. Hall},
title = {Engineering knowledge engineering},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {29},
number = {5},
pages = {427--428},
year = {2012},
url = {https://doi.org/10.1111/exsy.12007},
doi = {10.1111/EXSY.12007},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall12c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/HallR12,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {Software engineering as the design theoretic transformation of software
problems},
journal = {Innov. Syst. Softw. Eng.},
volume = {8},
number = {3},
pages = {175--193},
year = {2012},
url = {https://doi.org/10.1007/s11334-011-0171-2},
doi = {10.1007/S11334-011-0171-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/HallR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/behaviourIT/RapanottiH11,
author = {Lucia Rapanotti and
Jon G. Hall},
title = {Design concerns in the engineering of virtual worlds for learning},
journal = {Behav. Inf. Technol.},
volume = {30},
number = {1},
pages = {27--37},
year = {2011},
url = {https://doi.org/10.1080/0144929X.2010.490922},
doi = {10.1080/0144929X.2010.490922},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/behaviourIT/RapanottiH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall11,
author = {Jon G. Hall},
title = {Neuronomics: connectionist economics},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {28},
number = {1},
pages = {1--4},
year = {2011},
url = {https://doi.org/10.1111/j.1468-0394.2011.00583.x},
doi = {10.1111/J.1468-0394.2011.00583.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/WuH11,
author = {Desheng Dash Wu and
Jon G. Hall},
title = {Special issue: business decision support systems},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {28},
number = {3},
pages = {197--198},
year = {2011},
url = {https://doi.org/10.1111/j.1468-0394.2011.00604.x},
doi = {10.1111/J.1468-0394.2011.00604.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/WuH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall11a,
author = {Jon G. Hall},
title = {Building the knowledge society begins with breakfast},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {28},
number = {4},
pages = {283--284},
year = {2011},
url = {https://doi.org/10.1111/j.1468-0394.2011.00614.x},
doi = {10.1111/J.1468-0394.2011.00614.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/LiHR11,
author = {Zhi Li and
Jon G. Hall and
Lucia Rapanotti},
editor = {Claudia P. Ayala and
Simone D. J. Barbosa and
Hugo Estrada and
Maria Lencastre and
Eduardo Figueiredo},
title = {On the Construction of Specifications from Requirements},
booktitle = {Proceedings of the 14th Iberoamerican Conference on Software Engineering,
CIbSE 2011, Rio de Janeiro, Brasil, April 27-29, 2011},
pages = {431},
year = {2011},
timestamp = {Fri, 03 Mar 2023 10:47:22 +0100},
biburl = {https://dblp.org/rec/conf/cibse/LiHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wer/LiHR11,
author = {Zhi Li and
Jon G. Hall and
Lucia Rapanotti},
editor = {Maria Lencastre and
Hugo Estrada{-}Esquivel and
Eduardo Figueiredo},
title = {On the construction of specifications from requirements},
booktitle = {Anais do {WER11} - Workshop em Engenharia de Requisitos, Rio de Janeiro-RJ,
Brasil, Abril 28-29, 2011},
year = {2011},
url = {http://wer.inf.puc-rio.br/WERpapers/artigos/artigos\_WER11/li.pdf},
timestamp = {Mon, 26 Sep 2022 12:22:10 +0200},
biburl = {https://dblp.org/rec/conf/wer/LiHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HallGMLA11,
author = {Jon G. Hall and
John Grundy and
Ivan Mistr{\'{\i}}k and
Patricia Lago and
Paris Avgeriou},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Introduction: Relating Requirements and Architectures},
booktitle = {Relating Software Requirements and Architectures},
pages = {1--9},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_1},
doi = {10.1007/978-3-642-21001-3\_1},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/HallGMLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GrundyLAHM11,
author = {John Grundy and
Patricia Lago and
Paris Avgeriou and
Jon G. Hall and
Ivan Mistr{\'{\i}}k},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Theoretical Underpinnings and Reviews},
booktitle = {Relating Software Requirements and Architectures},
pages = {13--15},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_2},
doi = {10.1007/978-3-642-21001-3\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/GrundyLAHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/LagoAGHM11,
author = {Patricia Lago and
Paris Avgeriou and
John Grundy and
Jon G. Hall and
Ivan Mistr{\'{\i}}k},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Tools and Techniques},
booktitle = {Relating Software Requirements and Architectures},
pages = {87--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_6},
doi = {10.1007/978-3-642-21001-3\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/LagoAGHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AvgeriouGHLM11,
author = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Experiences from Industrial Projects},
booktitle = {Relating Software Requirements and Architectures},
pages = {199--201},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_12},
doi = {10.1007/978-3-642-21001-3\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/AvgeriouGHLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GrundyAHLM11,
author = {John Grundy and
Paris Avgeriou and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Emerging Issues in Relating Software Requirements and Architecture},
booktitle = {Relating Software Requirements and Architectures},
pages = {303--306},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_17},
doi = {10.1007/978-3-642-21001-3\_17},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/GrundyAHLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AvgeriouLGMH11,
author = {Paris Avgeriou and
Patricia Lago and
John Grundy and
Ivan Mistr{\'{\i}}k and
Jon G. Hall},
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Conclusions},
booktitle = {Relating Software Requirements and Architectures},
pages = {373--378},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3\_21},
doi = {10.1007/978-3-642-21001-3\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/AvgeriouLGMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0027654,
editor = {Paris Avgeriou and
John Grundy and
Jon G. Hall and
Patricia Lago and
Ivan Mistr{\'{\i}}k},
title = {Relating Software Requirements and Architectures},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21001-3},
doi = {10.1007/978-3-642-21001-3},
isbn = {978-3-642-21000-6},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0027654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall10,
author = {Jon G. Hall},
title = {Welcome to Volume 27, Issue 1},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {27},
number = {1},
pages = {1--2},
year = {2010},
url = {https://doi.org/10.1111/j.1468-0394.2009.00537.x},
doi = {10.1111/J.1468-0394.2009.00537.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall10a,
author = {Jon G. Hall},
title = {Thinking inside the box},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {27},
number = {2},
pages = {71--74},
year = {2010},
url = {https://doi.org/10.1111/j.1468-0394.2010.00556.x},
doi = {10.1111/J.1468-0394.2010.00556.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall10b,
author = {Jon G. Hall},
title = {On tangling},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {27},
number = {5},
pages = {311--313},
year = {2010},
url = {https://doi.org/10.1111/j.1468-0394.2010.00559.x},
doi = {10.1111/J.1468-0394.2010.00559.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall10b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/HallRZN10,
author = {Jon G. Hall and
Lucia Rapanotti and
Liping Zhao and
James Naish},
title = {2010 {ICSE} international workshop on advances and applications of
problem orientation {(WAAPO-2010)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {35},
number = {5},
pages = {40--41},
year = {2010},
url = {https://doi.org/10.1145/1838687.1838697},
doi = {10.1145/1838687.1838697},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/HallRZN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/RapanottiH10,
author = {Lucia Rapanotti and
Jon G. Hall},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
title = {Lessons Learned in Developing a Second Life Educational Environment},
booktitle = {{CSEDU} 2010 - Proceedings of the Second International Conference
on Computer Supported Education, Valencia, Spain, April 7-10, 2010
- Volume 1},
pages = {33--38},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Tue, 04 Jan 2011 15:45:29 +0100},
biburl = {https://dblp.org/rec/conf/csedu/RapanottiH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallRZN10,
author = {Jon G. Hall and
Lucia Rapanotti and
Liping Zhao and
James Naish},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {2010 {ICSE} International Workshop on Advances and Applications of
Problem Orientation {(WAAPO-2010)}},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {467--468},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810432},
doi = {10.1145/1810295.1810432},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HallRZN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/NkwochaHR10,
author = {Ann Nkwocha and
Jon G. Hall and
Lucia Rapanotti},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {Design Rationale Capture in the Globalised Enterprise: An Industrial
Study},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {284--289},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.50},
doi = {10.1109/ICSEA.2010.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/NkwochaHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2010,
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5613991/proceeding},
isbn = {978-0-7695-4144-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsea/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall09,
author = {Jon G. Hall},
title = {1983 and all that},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {26},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1111/j.1468-0394.2009.00514.x},
doi = {10.1111/J.1468-0394.2009.00514.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall09a,
author = {Jon G. Hall},
title = {Beachbrains},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {26},
number = {2},
pages = {145--146},
year = {2009},
url = {https://doi.org/10.1111/j.1468-0394.2009.00519.x},
doi = {10.1111/J.1468-0394.2009.00519.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall09b,
author = {Jon G. Hall},
title = {A singular intelligence},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {26},
number = {3},
pages = {247--248},
year = {2009},
url = {https://doi.org/10.1111/j.1468-0394.2009.00528.x},
doi = {10.1111/J.1468-0394.2009.00528.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall09c,
author = {Jon G. Hall},
title = {34957+70764=105621},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {26},
number = {4},
pages = {305--306},
year = {2009},
url = {https://doi.org/10.1111/j.1468-0394.2009.00532.x},
doi = {10.1111/J.1468-0394.2009.00532.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall09c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/Hall09d,
author = {Jon G. Hall},
title = {The polychronic economy},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {26},
number = {5},
pages = {361--363},
year = {2009},
url = {https://doi.org/10.1111/j.1468-0394.2009.00535.x},
doi = {10.1111/J.1468-0394.2009.00535.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/Hall09d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/OvertonHRY09,
author = {Jerry Overton and
Jon G. Hall and
Lucia Rapanotti and
Yijun Yu},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {Towards a Problem Oriented Engineering Theory of Pattern-Oriented
Analysis and Design},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 2},
pages = {255--260},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.144},
doi = {10.1109/COMPSAC.2009.144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/OvertonHRY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciw/RapanottiH09,
author = {Lucia Rapanotti and
Jon G. Hall},
editor = {Mark Perry and
Hideyasu Sasaki and
Matthias Ehmann and
Guadalupe Ortiz and
Oana Dini},
title = {Designing an Online Part-Time Master of Philosophy with Problem Oriented
Engineering},
booktitle = {Fourth International Conference on Internet and Web Applications and
Services, {ICIW} 2009, 24-28 May 2009, Venice/Mestre, Italy},
pages = {106--111},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICIW.2009.23},
doi = {10.1109/ICIW.2009.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciw/RapanottiH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsea/2009,
editor = {Kenneth Boness and
Jo{\~{a}}o M. Fernandes and
Jon G. Hall and
Ricardo Jorge Machado and
Roy Oberhauser},
title = {The Fourth International Conference on Software Engineering Advances,
{ICSEA} 2009, 20-25 September 2009, Porto, Portugal},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://ieeexplore.ieee.org/xpl/conhome/5298192/proceeding},
isbn = {978-0-7695-3777-1},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsea/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/HallRCJ08,
author = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {Special issue on applications and advances in problem frames},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {25},
number = {1},
pages = {4--6},
year = {2008},
url = {https://doi.org/10.1111/j.1468-0394.2008.00473.x},
doi = {10.1111/J.1468-0394.2008.00473.X},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/HallRCJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HallRJ08,
author = {Jon G. Hall and
Lucia Rapanotti and
Michael Jackson},
title = {Problem Oriented Software Engineering: Solving the Package Router
Control Problem},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {2},
pages = {226--241},
year = {2008},
url = {https://doi.org/10.1109/TSE.2007.70769},
doi = {10.1109/TSE.2007.70769},
timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/HallRJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/LogieHW08,
author = {Robert Logie and
Jon G. Hall and
Kevin G. Waugh},
editor = {Ajith Abraham},
title = {Towards Mining for Influence in a Multi Agent Environment},
booktitle = {{IADIS} European Conference on Data Mining 2008, Amsterdam, The Netherlands,
July 24-26, 2008. Proceedings},
pages = {97--101},
publisher = {{IADIS}},
year = {2008},
timestamp = {Thu, 29 Sep 2011 17:31:31 +0200},
biburl = {https://dblp.org/rec/conf/iadis/LogieHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Hall08,
author = {Jon G. Hall},
editor = {Paris Avgeriou and
Patricia Lago and
Philippe Kruchten},
title = {Requirements and architectures: two sides of the same coin},
booktitle = {Proceedings of the 3rd International Workshop on Sharing and Reusing
Architectural Knowledge, {SHARK} 2008, Leipzig, Germany, May 13, 2008},
pages = {29--30},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370062.1370070},
doi = {10.1145/1370062.1370070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Hall08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KaminskiHW08,
author = {Dariusz W. Kaminski and
Jon G. Hall and
Michel Wermelinger},
editor = {Lucia Rapanotti and
Jon G. Hall and
Zhi Jin and
Karl Cox},
title = {Relating problem oriented engineering to current development processes:
a research agenda},
booktitle = {Proceedings of the 3rd International Workshop on Applications and
Advances of Problem Frames, {IWAAPF} '08, Leipzig, Germany, May 10,
2008},
pages = {78--81},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370811.1370827},
doi = {10.1145/1370811.1370827},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KaminskiHW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TunHRCJ08,
author = {Thein Than Tun and
Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {3rd international workshop on advances and applications of problem
frames},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {1029--1030},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370231},
doi = {10.1145/1370175.1370231},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TunHRCJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/HallR08,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {Assurance-Driven Design},
booktitle = {Proceedings of the Third International Conference on Software Engineering
Advances, {ICSEA} 2008, October 26-31, 2008, Sliema, Malta},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICSEA.2008.69},
doi = {10.1109/ICSEA.2008.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/HallR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/ManneringHR08,
author = {Derek Mannering and
Jon G. Hall and
Lucia Rapanotti},
editor = {Felix Redmill and
Tom Anderson},
title = {Safety Process Improvement with {POSE} and Alloy},
booktitle = {Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical
Systems Symposium, Brighton, UK, February 5-7, 2008},
pages = {25--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-1-84800-100-8\_3},
doi = {10.1007/978-1-84800-100-8\_3},
timestamp = {Fri, 15 May 2020 12:05:38 +0200},
biburl = {https://dblp.org/rec/conf/scss/ManneringHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008iwaapf,
editor = {Lucia Rapanotti and
Jon G. Hall and
Zhi Jin and
Karl Cox},
title = {Proceedings of the 3rd International Workshop on Applications and
Advances of Problem Frames, {IWAAPF} '08, Leipzig, Germany, May 10,
2008},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370811},
doi = {10.1145/1370811},
isbn = {978-1-60558-020-3},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2008iwaapf.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ManneringHR07,
author = {Derek Mannering and
Jon G. Hall and
Lucia Rapanotti},
editor = {Matthew B. Dwyer and
Ant{\'{o}}nia Lopes},
title = {Towards Normal Design for Safety-Critical Systems},
booktitle = {Fundamental Approaches to Software Engineering, 10th International
Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4422},
pages = {398--411},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71289-3\_30},
doi = {10.1007/978-3-540-71289-3\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ManneringHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/HallMR07,
author = {Jon G. Hall and
Derek Mannering and
Lucia Rapanotti},
title = {Arguing safety with Problem Oriented Software Engineering},
booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
{(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HASE.2007.44},
doi = {10.1109/HASE.2007.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/HallMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ManneringHR07,
author = {Derek Mannering and
Jon G. Hall and
Lucia Rapanotti},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Safety Process Improvement with {POSE} and Alloy},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {252--257},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_23},
doi = {10.1007/978-3-540-75101-4\_23},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ManneringHR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HallRJ07,
author = {Jon G. Hall and
Lucia Rapanotti and
Michael Jackson},
title = {Problem Oriented Software Engineering: {A} design-theoretic framework
for software engineering},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.29},
doi = {10.1109/SEFM.2007.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HallRJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RapanottiH006,
author = {Lucia Rapanotti and
Jon G. Hall and
Zhi Li},
title = {Deriving specifications from requirements through problem reduction},
journal = {{IEE} Proc. Softw.},
volume = {153},
number = {5},
pages = {183--198},
year = {2006},
url = {https://doi.org/10.1049/ip-sen:20060011},
doi = {10.1049/IP-SEN:20060011},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/RapanottiH006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallRCJ06a,
author = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
editor = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {2nd international workshop on advances and applications of problem
frames},
booktitle = {Proceedings of the 2006 International Workshop on Advances and Applications
of Problem Frames, {IWAAPF} '06, Shanghai, China, May 23, 2006},
pages = {1--4},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138670.1138671},
doi = {10.1145/1138670.1138671},
timestamp = {Wed, 26 Jan 2022 14:18:34 +0100},
biburl = {https://dblp.org/rec/conf/icse/HallRCJ06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrierRH06,
author = {John Brier and
Lucia Rapanotti and
Jon G. Hall},
editor = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {Problem-based analysis of organisational change: a real-world example},
booktitle = {Proceedings of the 2006 International Workshop on Advances and Applications
of Problem Frames, {IWAAPF} '06, Shanghai, China, May 23, 2006},
pages = {13--18},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138670.1138674},
doi = {10.1145/1138670.1138674},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrierRH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0017HR06,
author = {Zhi Li and
Jon G. Hall and
Lucia Rapanotti},
editor = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {From requirements to specifications: a formal approach},
booktitle = {Proceedings of the 2006 International Workshop on Advances and Applications
of Problem Frames, {IWAAPF} '06, Shanghai, China, May 23, 2006},
pages = {65--70},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138670.1138681},
doi = {10.1145/1138670.1138681},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0017HR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TunH06,
author = {Thein Than Tun and
Jon G. Hall},
editor = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {Developer requirements in the {PF} approach},
booktitle = {Proceedings of the 2006 International Workshop on Advances and Applications
of Problem Frames, {IWAAPF} '06, Shanghai, China, May 23, 2006},
pages = {87--90},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138670.1138684},
doi = {10.1145/1138670.1138684},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TunH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HallRCJ06,
author = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {2nd international workshop on advances and applications of problem
frames},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {1030--1031},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134488},
doi = {10.1145/1134285.1134488},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HallRCJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse/AliH06,
author = {Shahbaz Ali and
Jon G. Hall},
editor = {Sachar Paulus and
Norbert Pohlmann and
Helmut Reimer},
title = {Introducing Regulatory Compliance Requirements Engineering},
booktitle = {{ISSE} 2006 - Securing Electronic Busines Processes, Highlights of
the Information Security Solutions Europe 2006 Conference, 10-12 October
2006, Rome, Italy},
pages = {439--447},
publisher = {Vieweg},
year = {2006},
url = {https://doi.org/10.1007/978-3-8348-9195-2\_47},
doi = {10.1007/978-3-8348-9195-2\_47},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isse/AliH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2006iwaapf,
editor = {Jon G. Hall and
Lucia Rapanotti and
Karl Cox and
Zhi Jin},
title = {Proceedings of the 2006 International Workshop on Advances and Applications
of Problem Frames, {IWAAPF} '06, Shanghai, China, May 23, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1138670},
doi = {10.1145/1138670},
timestamp = {Wed, 26 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2006iwaapf.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HallMNS05,
author = {Jon G. Hall and
Ivan Mistr{\'{\i}}k and
Bashar Nuseibeh and
Andr{\'{e}}s Silva},
title = {Relating software requirements and architectures},
journal = {{IEE} Proc. Softw.},
volume = {152},
number = {4},
pages = {141--142},
year = {2005},
url = {https://doi.org/10.1049/ip-sen:20059069},
doi = {10.1049/IP-SEN:20059069},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HallMNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/CoxHR05,
author = {Karl Cox and
Jon G. Hall and
Lucia Rapanotti},
title = {A roadmap of problem frames research},
journal = {Inf. Softw. Technol.},
volume = {47},
number = {14},
pages = {891--902},
year = {2005},
url = {https://doi.org/10.1016/j.infsof.2005.08.003},
doi = {10.1016/J.INFSOF.2005.08.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/CoxHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HallRJ05,
author = {Jon G. Hall and
Lucia Rapanotti and
Michael Jackson},
title = {Problem frame semantics for software development},
journal = {Softw. Syst. Model.},
volume = {4},
number = {2},
pages = {189--198},
year = {2005},
url = {https://doi.org/10.1007/s10270-004-0062-1},
doi = {10.1007/S10270-004-0062-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HallRJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/LogieHW05,
author = {Robert Logie and
Jon G. Hall and
Kevin G. Waugh},
editor = {Francesca Toni and
Paolo Torroni},
title = {Reactive Food Gathering},
booktitle = {Computational Logic in Multi-Agent Systems, 6th International Workshop,
{CLIMA} VI, London, UK, June 27-29, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3900},
pages = {406--413},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11750734\_24},
doi = {10.1007/11750734\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/LogieHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HiltonH05,
author = {Adrian J. Hilton and
Jon G. Hall},
editor = {Tiziana Margaria and
Mieke Massink},
title = {Developing critical systems with {PLD} components},
booktitle = {Proceedings of the 10th international workshop on Formal methods for
industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {72--79},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081180.1081190},
doi = {10.1145/1081180.1081190},
timestamp = {Tue, 25 Jan 2022 17:00:39 +0100},
biburl = {https://dblp.org/rec/conf/fmics/HiltonH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CoxHR04,
author = {Karl Cox and
Jon G. Hall and
Lucia Rapanotti},
title = {1\({}^{\mbox{st}}\) international workshop on advances and applications
of problem frames - summary},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {29},
number = {5},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1145/1022494.1022503},
doi = {10.1145/1022494.1022503},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CoxHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/HiltonH04,
author = {Adrian J. Hilton and
Jon G. Hall},
editor = {Albert Llamos{\'{\i}} and
Alfred Strohmeier},
title = {High-Integrity Interfacing to Programmable Logic with Ada},
booktitle = {Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International
Conference on Reliable Software Technologies, Palma de Mallorca, Spain,
June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3063},
pages = {249--260},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24841-5\_20},
doi = {10.1007/978-3-540-24841-5\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/HiltonH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CoxHR04,
author = {Karl Cox and
Jon G. Hall and
Lucia Rapanotti},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {1st International Workshop on Advances and Applications of Problem
Frames},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {754--755},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.10010},
doi = {10.1109/ICSE.2004.10010},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CoxHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/RapanottiHJN04,
author = {Lucia Rapanotti and
Jon G. Hall and
Michael Jackson and
Bashar Nuseibeh},
title = {Architecture-driven Problem Decomposition},
booktitle = {12th {IEEE} International Conference on Requirements Engineering {(RE}
2004), 6-10 September 2004, Kyoto, Japan},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/RE.2004.7},
doi = {10.1109/RE.2004.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/RapanottiHJN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/HiltonTH03,
author = {Adrian J. Hilton and
Gemma Townson and
Jon G. Hall},
editor = {Steve Trimberger and
Russell Tessier},
title = {FPGAs in critical hardware/software systems},
booktitle = {Proceedings of the {ACM/SIGDA} International Symposium on Field Programmable
Gate Arrays, {FPGA} 2003, Monterey, CA, USA, February 23-25, 2003},
pages = {244},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/611817.611871},
doi = {10.1145/611817.611871},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/fpga/HiltonTH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/HallR03,
author = {Jon G. Hall and
Lucia Rapanotti},
title = {A Reference Model for Requirements Engineering},
booktitle = {11th {IEEE} International Conference on Requirements Engineering {(RE}
2003), 8-12 September 2003, Monterey Bay, CA, {USA}},
pages = {181--187},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICRE.2003.1232749},
doi = {10.1109/ICRE.2003.1232749},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/HallR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/HallJLNR02,
author = {Jon G. Hall and
Michael Jackson and
Robin C. Laney and
Bashar Nuseibeh and
Lucia Rapanotti},
title = {Relating Software Requirements and Architectures Using Problem Frames},
booktitle = {10th Anniversary {IEEE} Joint International Conference on Requirements
Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany},
pages = {137--144},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICRE.2002.1048516},
doi = {10.1109/ICRE.2002.1048516},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/HallJLNR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HiltonH02,
author = {Adrian J. Hilton and
Jon G. Hall},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refining specifications to programmable logic},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {37--49},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80484-0},
doi = {10.1016/S1571-0661(05)80484-0},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HiltonH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/HallR01,
author = {Jon G. Hall and
Lucia Rapanotti},
editor = {Wendy A. Lawrence{-}Fowler and
Joachim Hasebrook},
title = {Educational JavaBeans: a Requirements Driven Architecture},
booktitle = {Proceedings of WebNet 2001 - World Conference on the {WWW} and Internet,
Orlando, Florida, USA, October 23-27, 2001},
pages = {474--479},
publisher = {{AACE}},
year = {2001},
timestamp = {Thu, 21 Jun 2018 07:47:32 +0200},
biburl = {https://dblp.org/rec/conf/webnet/HallR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0000004,
author = {Leonor Barroca and
Jon G. Hall and
Patrick Hall},
title = {Software architectures - advances and applications},
publisher = {Springer},
year = {2000},
url = {http://www.springer.com/computer/swe/book/978-1-85233-636-3},
isbn = {978-1-85233-636-3},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0000004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HallBTK98,
author = {Jon G. Hall and
Clement A. Baker{-}Finch and
Philip W. Trinder and
David J. King},
editor = {Kevin Hammond and
Antony J. T. Davie and
Chris Clack},
title = {Towards an Operational Semantics for a Parallel Non-Strict Functional
Language},
booktitle = {Implementation of Functional Languages, 10th International Workshop,
IFL'98, London, UK, September 9-11, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1595},
pages = {54--71},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48515-5\_4},
doi = {10.1007/3-540-48515-5\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/HallBTK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/KingHT98,
author = {David J. King and
Jon G. Hall and
Philip W. Trinder},
editor = {Kevin Hammond and
Antony J. T. Davie and
Chris Clack},
title = {A Strategic Profiler for Glasgow Parallel Haskell},
booktitle = {Implementation of Functional Languages, 10th International Workshop,
IFL'98, London, UK, September 9-11, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1595},
pages = {88--102},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48515-5\_6},
doi = {10.1007/3-540-48515-5\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/KingHT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HallM97,
author = {Jon G. Hall and
Andrew P. Martin},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {\emph{W} Reconstructed},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {115--134},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027287},
doi = {10.1007/BFB0027287},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/HallM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/MoffetHCM96,
author = {Jonathan D. Moffett and
Jon G. Hall and
Andrew Charles Coombes and
John A. McDermid},
title = {A Model for a Causal Logic for Requirements Engineering},
journal = {Requir. Eng.},
volume = {1},
number = {1},
pages = {27--46},
year = {1996},
url = {https://doi.org/10.1007/BF01235764},
doi = {10.1007/BF01235764},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/MoffetHCM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HallL96,
author = {Jon G. Hall and
Rog{\'{e}}rio de Lemos},
title = {{ERTL:} An Extension to {RTL} for the Specification, Analysis, and
Verification of Hybrid Systems},
booktitle = {Proceedings of the Eighth Euromicro Workshop on Real-Time Systems,
{RTS} 1996, L'Aquila, Italy, June 12-14, 1996},
pages = {3--8},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EMWRTS.1996.557781},
doi = {10.1109/EMWRTS.1996.557781},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/HallL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LemosH95,
author = {Rog{\'{e}}rio de Lemos and
Jon G. Hall},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Extended {RTL} in the Specification and Verification of an Industrial
Press},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {114--125},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020939},
doi = {10.1007/BFB0020939},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LemosH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/HallM94,
author = {Jon G. Hall and
John A. McDermid},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {Towards a {Z} Method: Axiomatic Specification in {Z}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {213--229},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_12},
doi = {10.1007/978-1-4471-3452-7\_12},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/zum/HallM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/BestDH92,
author = {Eike Best and
Raymond R. Devillers and
Jon G. Hall},
editor = {Grzegorz Rozenberg},
title = {The box calculus: a new causal algebra with multi-label communication},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {21--69},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_167},
doi = {10.1007/3-540-55610-9\_167},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestDH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/HopkinsHB92,
author = {Richard P. Hopkins and
Jon G. Hall and
Oliver Botti},
editor = {Grzegorz Rozenberg},
title = {A basic-net algebra for program semantics and its application to {OCCAM}},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {179--214},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_172},
doi = {10.1007/3-540-55610-9\_172},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HopkinsHB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
