Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Simone Hanazumi"'
Autor:
Simone Hanazumi
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar
Autor:
Simone Hanazumi
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relaç
Autor:
Ana C. V. de Melo, Simone Hanazumi
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The increasing number of systems that work on the top of cooperating elements have required new techniques to control cooperation on both normal and abnormal behaviors of systems. The controllability of the normal behaviors has received more attentio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e54fc0687be9f71aded67cf209ce50be
https://doi.org/10.1016/j.jss.2016.07.033
https://doi.org/10.1016/j.jss.2016.07.033
Publikováno v:
SAST
Delivering new features to users as fast and efficiently as possible is a common challenge on software development. A continuous delivery and integration pipeline can be used for this purpose, since it provides an automated way to orchestrate a serie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c41167d9866f30f68d1e517565fcf5e6
https://doi.org/10.1145/3266003.3266008
https://doi.org/10.1145/3266003.3266008
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Software quality is traditionally achieved by applying testing techniques and/or formal verification to the system under development. Formal testing techniques have been defined to assure the software quality based on a set of test purposes the users
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1deaa0915bd083f33ab3928ff71f65a7
https://doi.org/10.1145/2693208.2693241
https://doi.org/10.1145/2693208.2693241
Autor:
Simone Hanazumi
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::031dc177b8560aa73bfbdfec394a71c6
https://doi.org/10.11606/t.45.2016.tde-23122015-094748
https://doi.org/10.11606/t.45.2016.tde-23122015-094748
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2016 ISBN: 9783319467498
ICTAC
ICTAC
Model based testing is used to validate the actual system against its requirements described as formal specification, while formal verification proves that a requirement is not violated in the overall system. Verifying properties, in certain cases, b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b62f47eb025c7981b08a7c24943ce696
https://doi.org/10.1007/978-3-319-46750-4_10
https://doi.org/10.1007/978-3-319-46750-4_10
Autor:
Simone Hanazumi
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relaç
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d68948eee9f7fa019613833b887aae1
https://doi.org/10.11606/d.45.2010.tde-29092010-191938
https://doi.org/10.11606/d.45.2010.tde-29092010-191938
Autor:
Ana C. V. de Melo, Simone Hanazumi
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319229683
SEFM
SEFM
The specification pattern system (SPS) provides a simple methodology to specify program properties that can be used during software testing and verification. The testability concept establishes a connection between temporal properties and program tra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b8ecbd75094fc85d8361bb44fc5bea5
https://doi.org/10.1007/978-3-319-22969-0_11
https://doi.org/10.1007/978-3-319-22969-0_11
Autor:
Ana C. V. de Melo, Simone Hanazumi
Publikováno v:
Computational Science and Its Applications--ICCSA 2015 ISBN: 9783319214030
ICCSA (1)
ICCSA (1)
Test purposes are today key-elements for making the formal testing approach applicable to software. They are abstractions for a set of test cases to be observed in programs and some tools for formal testing concentrate their effort to apply test purp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81d60b18f4eab420549add04217c7a78
https://doi.org/10.1007/978-3-319-21404-7_31
https://doi.org/10.1007/978-3-319-21404-7_31