Articolul precedent |
Articolul urmator |
457 2 |
Ultima descărcare din IBN: 2023-05-11 18:02 |
SM ISO690:2012 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: The 5th International Conference, Ed. 8, 22-25 octombrie 2014, Chisinau. Chișinău, Republica Moldova: Universitatea Tehnică a Moldovei, 2014, Ediția 8, pp. 387-389. ISBN 978-9975-45-329-5.. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Microelectronics and Computer Science Ediția 8, 2014 |
||||||
Conferința "Microelectronics and Computer Science" 8, Chisinau, Moldova, 22-25 octombrie 2014 | ||||||
|
||||||
Pag. 387-389 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
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. |
||||||
Cuvinte-cheie V |
||||||
|