DSpace Repository
Verificarea şi specificarea formală a produselor software. Posibilităţi de implementare şi dificultăţi
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | CATRUC, Mariana | |
| dc.contributor.author | MELNIC, Radu | |
| dc.contributor.author | BALMUŞ, Ion | |
| dc.date.accessioned | 2019-10-23T10:17:33Z | |
| dc.date.available | 2019-10-23T10:17:33Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | CATRUC, Mariana, MELNIC, Radu, BALMUŞ, Ion. Verificarea şi specificarea formală a produselor software. Posibilităţi de implementare şi dificultăţi. In: Microelectronics and Computer Science: proc. of the 8th intern. conf., October 22-25, 2014. Chişinău, 2014, pp. 387-389. ISBN 978-9975-45-329-5. | en_US |
| dc.identifier.isbn | 978-9975-45-329-5 | |
| dc.identifier.uri | http://repository.utm.md/handle/5014/5091 | |
| dc.description.abstract | Formal specification is concerned with producing an unambiguous set of product specifications so that customer requirements, as well as environmental constraints and design intentions, are correctly reflected, thus reducing the chances of accidental fault injections. The purpose of this article is to describe the formal analyses and verifications based on formal models of program and their expected behavior, as an alternative way for software quality assurance. | en_US |
| dc.language.iso | ro | en_US |
| dc.publisher | Tehnica UTM | en_US |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
| dc.subject | modelele formale de program | en_US |
| dc.subject | tehnici de verificare | en_US |
| dc.subject | calitate | en_US |
| dc.title | Verificarea şi specificarea formală a produselor software. Posibilităţi de implementare şi dificultăţi | en_US |
| dc.type | Article | en_US |
Files in this item
The following license files are associated with this item:
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States