( en | de | ru )

 

Disambiguierung von "dos Santos, Luciana Brasil Rebelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0.

, , , , , , , , , , , , , , , , , , , , , , , , und . WEBIST, Seite 460-466. SCITEPRESS, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tim dos Santos

Alberto dos Santos

Daniel dos Santos

Paula dos Santos

Daniel dos Santos

 

Weitere Publikationen von Autoren mit dem selben Namen

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation., , , , , , , und . ICTSS, Volume 14131 von Lecture Notes in Computer Science, Seite 219-236. Springer, (2023)Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service., , , , , , , , und . GEOINFO, Seite 288-297. MCTI/INPE, (2023)Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0., , , , , , , , , und 15 andere Autor(en). WEBIST, Seite 460-466. SCITEPRESS, (2021)Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.. National Institute for Space Research, São José dos Campos, Brazil, (2015)ndltd.org (oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0).A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains., , , , , und . ICTSS, Volume 14131 von Lecture Notes in Computer Science, Seite 179-182. Springer, (2023)A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections., , und . ICCSA (5), Volume 10408 von Lecture Notes in Computer Science, Seite 591-606. Springer, (2017)Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking., , , und . ICCSA (4), Volume 9158 von Lecture Notes in Computer Science, Seite 612-627. Springer, (2015)A Formal Verification Tool for UML Behavioral Diagrams., , , und . ICCSA (1), Volume 8579 von Lecture Notes in Computer Science, Seite 696-711. Springer, (2014)Software requirements testing approaches: a systematic literature review., , , , und . Requir. Eng., 25 (3): 317-337 (2020)Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples., , und . SAST, Seite 72-79. ACM, (2019)