Zobrazeno 1 - 10
of 16
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d8caa72ebf945d7dcb47c5b9d0b96268
https://doi.org/10.1080/15567036.2021.1998252
https://doi.org/10.1080/15567036.2021.1998252
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f45c52b964c88f4691795fde3eeb9bf8
https://rsdjournal.org/index.php/rsd/article/view/8834
https://rsdjournal.org/index.php/rsd/article/view/8834
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1164ca90556e90d04449ef182f206b4f
https://doi.org/10.1109/secm.2017.10
https://doi.org/10.1109/secm.2017.10
Publikováno v:
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::166b0013528a983aec158a734b173bd2
https://doi.org/10.1109/formalise.2017.5
https://doi.org/10.1109/formalise.2017.5
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4ed5289b71c893d5c19a0593b311811
https://doi.org/10.1007/s11334-011-0169-9
https://doi.org/10.1007/s11334-011-0169-9
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,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62efc31dba8aa749738761598a83d7dc
https://doi.org/10.1145/1734103.1734114
https://doi.org/10.1145/1734103.1734114
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14aa7151cc28f27d9682e811b6900de2
https://doi.org/10.1007/s11334-009-0112-5
https://doi.org/10.1007/s11334-009-0112-5
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