Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fioravanti, Carmen F.
5  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Semantics-based generation of verification conditions by pr..:

, In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming,
De Angelis, E. ; Fioravanti, F. ; Pettorossi, A.. - p. 91-102 , 2015
Link: https://dl.acm.org/doi/1..
 
?
2

Assessment of system evolution through characterization:

, In: Proceedings of the 20th international conference on Software engineering,
Fioravanti, F. ; Nesi, P. ; Perlini, S. - p. 456-459 , 1998
Link: https://dl.acm.org/doi/1..
 
?
3

A Lightweight Web Tool to Support Feedback in Introductory ..:

, In: 2023 IEEE Frontiers in Education Conference (FIE),
Candiotto, Lucas S. ; De Assis, Marcos V. O. ; Schreiner, Marcos A.... - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Integrating Project Based Learning and Project Management f..:

, In: Proceedings of the 49th ACM Technical Symposium on Computer Science Education,
Fioravanti, Maria Lydia ; Sena, Bruno ; Paschoal, Leo Natan... - p. 806-811 , 2018
Link: https://dl.acm.org/doi/1..
 
?
5

Medical Tele-Monitoring and Tele-Assistance for Diabetics P..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Body Area Networks: Smart IoT and Big Data for Intelligent Health Management,
Morosi, S. ; Jayousi, S. ; Mucchi, L.... - p. 79-88 , 2019
Link: https://doi.org/10.1007/..
 
1-5