Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Thiago C. de Sousa"'
Autor:
Ricardo A. L. Rabelo, Joel J. P. C. Rodrigues, Hermes Manoel Galvão Castelo Branco, Thiago C. de Sousa, Adriano Batista Silva
Publikováno v:
Energy Sources, Part A: Recovery, Utilization, and Environmental Effects. :1-18
Publikováno v:
Research, Society and Development, Vol 9, Iss 10 (2020)
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 panora
Autor:
Thiago C. de Sousa, Cláudia Melo
Publikováno v:
Industry, Innovation and Infrastructure ISBN: 9783319710594
Industry, Innovation and Infrastructure
Industry, Innovation and Infrastructure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8274878e0635a4359151c4c49e38006
https://doi.org/10.1007/978-3-319-71059-4_49-1
https://doi.org/10.1007/978-3-319-71059-4_49-1
Autor:
Thiago C. de Sousa, Cláudia Melo
Publikováno v:
SECM@ICSE
Software is a key component of solutions for 21st Century problems. These problems are often "wicked", complex, and unpredictable. To provide the best possible solution, millennial software engineers must be prepared to make ethical decisions, thinki
Publikováno v:
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Publikováno v:
Innovations in Systems and Software Engineering. 7:293-301
UML-B is a development process framework for Event-B based on a "UML-like" graphical formal notation that provides support for object-oriented modelling concepts, in particular, for class and state machine diagrams. However, this methodology has a ga
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 35:1-4
A consistent requirements specification is a fundamental success factor for quality software development projects. On the one hand, writing requirements in a natural language is not good for an automated conflict detection process. On the other hand,
Publikováno v:
Innovations in Systems and Software Engineering. 6:163-169
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 appli
Publikováno v:
Abstract State Machines, Alloy, B, VDM, and Z ISBN: 9783642308840
ABZ
ABZ
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 th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e711a4c391a613862929c0adf5652b2d
https://doi.org/10.1007/978-3-642-30885-7_31
https://doi.org/10.1007/978-3-642-30885-7_31