E-LIB Suche - Ergebnisse für: Faria, João Pascoal

1

Applying Machine Learning to Estimate the Effort and Durati..:

Sousa, André O. ; Veloso, Daniel T. ; Gonçalves, Henrique M....
IEEE Access. 11 (2023) - p. 89933-89946 , 2023

Link: https://doi.org/10.1109/..

2

Case Studies of Development of Verified Programs with Dafny..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Faria, João Pascoal ; Abreu, Rui - p. 25-39 , 2023

Link: https://doi.org/10.1007/..

3

A Pattern-Based Test Platform for Families of Smart Health ..:

, In: 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS),

Almeida, Pedro ; Faria, Joao Pascoal ; Lima, Bruno - p. 595-605 , 2022

Link: https://doi.org/10.1109/..

4

Applying Machine Learning to Risk Assessment in Software Pr..:

, In: Communications in Computer and Information Science; Machine Learning and Principles and Practice of Knowledge Discovery in Databases,

Sousa, André ; Faria, João Pascoal ; Mendes-Moreira, João... - p. 104-118 , 2021

Link: https://doi.org/10.1007/..

5

DCO analyzer : local controllability and observability a..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings,

Lima, Bruno ; Faria, João Pascoal - p. 97-100 , 2020

Link: https://dl.acm.org/doi/1..

6

Visual Self-healing Modelling for Reliable Internet-of-Thin..:

, In: Lecture Notes in Computer Science; Computational Science – ICCS 2020,

Dias, João Pedro ; Lima, Bruno ; Faria, João Pascoal.. - p. 357-370 , 2020

Link: https://doi.org/10.1007/..

7

A living lab for professional skills development in Softwar..:

, In: 2020 IEEE Global Engineering Education Conference (EDUCON),

Goncalves, Gil M. ; Meneses, Raquel ; Faria, Joao Pascoal. - p. 1079-1085 , 2020

Link: https://doi.org/10.1109/..

8

Local Observability and Controllability Analysis and Enforc..:

Lima, Bruno ; Faria, Joao Pascoal ; Hierons, Robert
IEEE Access. 8 (2020) - p. 167172-167191 , 2020

Link: https://doi.org/10.1109/..

9

The ProcessPAIR Method for Automated Software Process Perfo..:

Raza, Mushtaq ; Faria, Joao Pascoal
IEEE Access. 8 (2020) - p. 141569-141583 , 2020

Link: https://doi.org/10.1109/..

10

Local Observability and Controllability Enforcement in Dist..:

, In: Communications in Computer and Information Science; Quality of Information and Communications Technology,

Lima, Bruno ; Faria, João Pascoal ; Hierons, Robert - p. 327-338 , 2019

Link: https://doi.org/10.1007/..

11

Assisting software engineering students in analyzing their ..:

Raza, Mushtaq ; Faria, João Pascoal ; Salazar, Rafael
Software Quality Journal. 27 (2019) 3 - p. 1209-1237 , 2019

Link: https://doi.org/10.1007/..

12

A Survey of Blockchain Frameworks and Applications:

, In: Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition (SoCPaR 2018); Advances in Intelligent Systems and Computing,

Tavares, Bruno ; Correia, Filipe Figueiredo ; Restivo, André.. - p. 308-317 , 2019

Link: https://doi.org/10.1007/..

13

Izinto : a pattern-based IoT testing framework:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,

Pontes, Pedro Martins ; Lima, Bruno ; Faria, João Pascoal - p. 125-131 , 2018

Link: https://dl.acm.org/doi/1..

14

Test patterns for IoT:

, In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation,

Pontes, Pedro Martins ; Lima, Bruno ; Faria, João Pascoal - p. 63-66 , 2018

Link: https://dl.acm.org/doi/1..

15

Helping software engineering students analyzing their perfo..:

, In: Proceedings of the 39th International Conference on Software Engineering Companion,

Raza, Mushtaq ; Faria, João Pascoal ; Salazar, Rafael - p. 241-243 , 2017

Link: https://dl.acm.org/doi/1..