@inproceedings{CannyNCP:2019,
author = {Canny, A. and Navarre, D. and Campos, J.C. and Palanque, P.},
booktitle = {Formal Methods. FM 2019 International Workshops},
date-added = {2022-02-18 00:01:57 +0000},
date-modified = {2022-02-18 00:01:57 +0000},
doi = {10.1007/978-3-030-54994-7_35},
editor = {et al., E. Sekerinski},
pages = {486-502},
paperurl = {https://repositorio.inesctec.pt/handle/123456789/11608},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Model-Based Testing of Post-WIMP Interactions Using Petri-nets},
volume = {12232},
year = {2020},
bdsk-url-1 = {https://doi.org/10.1007/978-3-030-54994-7_35}
}
@article{SilvaVCCR:2020,
author = {Silva, C. and Vieira, J. and Campos, J.C. and Couto, R. and Ribeiro, A.N.},
date-added = {2022-02-18 00:00:59 +0000},
date-modified = {2022-02-18 00:00:59 +0000},
doi = {10.1177/0018720820920429},
journal = {Human Factors},
number = {6},
pages = {1012-1032},
paperurl = {http://www.di.uminho.pt/~jfc/publications/Silvaetal-HumanFactors-manuscript.pdf},
title = {Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform},
volume = {63},
year = {2021},
abstract = {This study proposes and evaluates a Descriptive Cognitive Model (DCM) for the identification of initial usability issues in a low-code development platform (LCDP). By applying the proposed DCM we were able to predict the interaction problems felt by first-time users of the LCDP.},
bdsk-url-1 = {https://doi.org/10.1177/0018720820920429}
}
@article{HarrisonMC:2021,
author = {Harrison, M.D. and Masci, P. and Campos, J.C.},
date-added = {2022-02-18 00:00:03 +0000},
date-modified = {2022-02-18 00:00:03 +0000},
doi = {10.1093/iwcomp/iwab012},
journal = {Interacting with Computers},
month = {January},
number = {1},
pages = {55-72},
title = {Balancing the formal and the informal in user centred design},
volume = {33},
year = {2021},
abstract = {This paper explores the role of formal methods as part of the user centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using "traditional" techniques for user evaluation. Formal analysis complements user evaluations. This approach enriches user centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non functional (e.g., paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.},
bdsk-url-1 = {https://doi.org/10.1093/iwcomp/iwab012}
}
@inproceedings{DBLP:conf/ppdp/0001N19,
author = {Goncharov, Sergey and Neves, Renato},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/ppdp/0001N19.bib},
booktitle = {Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October 7-9, 2019},
doi = {10.1145/3354166.3354176},
editor = {Komendantskaya, Ekaterina},
pages = {11:1--11:15},
publisher = {{ACM}},
timestamp = {Thu, 26 Sep 2019 14:23:10 +0200},
title = {An Adequate While-Language for Hybrid Computation},
url = {https://doi.org/10.1145/3354166.3354176},
year = {2019},
bdsk-url-1 = {https://doi.org/10.1145/3354166.3354176}
}
@article{DBLP:journals/tcs/NevesB18,
author = {Neves, Renato and Barbosa, Lu{\'{\i}}s Soares},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/tcs/NevesB18.bib},
doi = {10.1016/j.tcs.2017.09.038},
journal = {Theor. Comput. Sci.},
pages = {113--142},
timestamp = {Wed, 25 Sep 2019 17:53:21 +0200},
title = {Languages and models for hybrid automata: {A} coalgebraic perspective},
url = {https://doi.org/10.1016/j.tcs.2017.09.038},
volume = {744},
year = {2018},
bdsk-url-1 = {https://doi.org/10.1016/j.tcs.2017.09.038}
}
@article{DBLP:journals/mscs/HofmannNN19,
author = {Hofmann, Dirk and Neves, Renato and Nora, Pedro},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/mscs/HofmannNN19.bib},
doi = {10.1017/S0960129518000269},
journal = {Math. Struct. Comput. Sci.},
number = {4},
pages = {552--587},
timestamp = {Mon, 15 Jun 2020 16:56:03 +0200},
title = {Limits in categories of Vietoris coalgebras},
url = {https://doi.org/10.1017/S0960129518000269},
volume = {29},
year = {2019},
bdsk-url-1 = {https://doi.org/10.1017/S0960129518000269}
}
This file was generated by bibtex2html 1.99.