https://hdl.handle.net/10216/26739 Fri, 10 Jul 2026 15:33:14 GMT 2026-07-10T15:33:14Z https://hdl.handle.net/10216/168416 Title: Aulas gravadas no Panopto, testes no Moodle e funcionamento em modo de cooperação docente/estudante como grandes trunfos durante a pandemia Sun, 01 Dec 2024 00:00:00 GMT https://hdl.handle.net/10216/168416 2024-12-01T00:00:00Z https://hdl.handle.net/10216/53339 Title: A tool for automatic model extraction of Ada/SPARK programs Abstract: This paper presents a brief description of the current work on a tool that analyses temporal behaviour of Ada/RavenSPARK programs. The approach takes as a basis two previous publications that introduce innovative methods in the field of verification of real-time systems. The development of a tool that automatically generates models (timed automata) from Ada/RavenSPARK source code and uses the model checker to verify timing properties is discussed. Fri, 01 Jan 2010 00:00:00 GMT https://hdl.handle.net/10216/53339 2010-01-01T00:00:00Z https://hdl.handle.net/10216/136047 Title: On the Establishment of URBiNAT's Community of Practice (CoP) Wed, 01 Jul 2020 00:00:00 GMT https://hdl.handle.net/10216/136047 2020-07-01T00:00:00Z