Papers by Thiago Carvalho de Sousa
Lecture Notes in Computer Science, 2012
ABSTRACT Event-B is a formal method that allows flexible modelling and refinement of systems. How... more ABSTRACT Event-B is a formal method that allows flexible modelling and refinement of systems. However, it is hard to convince developers to adopt it because they are not used to mathematical models and it doesn't provide any practical refinement method. On the other hand, UML has become the de facto standard for software modelling since it provides an easy graphical notation and nowadays it is supported by many practical process such as ICONIX. In this paper we propose a method for Event-B refinement based on a diffused UML-driven development process. So far, we have defined the steps of the method and the translation of most of the artifacts presented in ICONIX to Event-B.
Bookmarks Related papers MentionsView impact
Innovations in Systems and Software Engineering, 2011
Bookmarks Related papers MentionsView impact
Lecture Notes in Computer Science, 2010
Bookmarks Related papers MentionsView impact
Research, Society and Development, 2020
A CF/1988 consagrou a autonomia universitária, artigo 207, desdobrando-a em três facetas indissol... more A CF/1988 consagrou a autonomia universitária, artigo 207, desdobrando-a em três facetas indissolúveis: (i) didático-científica; (ii) administrativa; e (iii) de gestão financeira e patrimonial. Este artigo foca nesta última, trazendo um panorama sobre o processo de autonomia financeira das universidades brasileiras, mantidas pelos governos estaduais. A pesquisa baseou-se na realidade da Universidade Estadual do Piauí-UESPI, bem como na arrecadação e dispêndios feitos pelo Governo Estadual para sua manutenção em um recorte de 10 anos (2008-2017). Verifica-se uma comparação entre os modelos de autonomia realizados em São Paulo e Paraíba. No final aponta-se proposta de autonomia financeira com base na realidade do Piauí e na relação entre o orçamento aprovado pela LOA e orçamento executado pela UESPI, demonstrando viabilidade de se incorporar autonomia financeira à UESPI sem impactar negativamente as finanças estaduais, ao mesmo tempo em que se garantem recursos adequados para que a un...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Innovations in Systems and Software Engineering, 2010
Use cases and user interface prototypes are agile techniques used to specify required functionali... more Use cases and user interface prototypes are agile techniques used to specify required functionalities of an object-oriented system. Testing can find most errors of the software and ensure that the requirement specifications are satisfied by the application. We can derive test cases from use cases and run them in user interfaces, but we do it in a mechanical way. In
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Uploads
Papers by Thiago Carvalho de Sousa