Verificarea şi specificarea formală a produselor software. Posibilităţi de implementare şi dificultăţi

CATRUC, Mariana; MELNIC, Radu; BALMUŞ, Ion

Home
→
Facultatea Calculatoare, Informatică şi Microelectronică
→
Conferinţe
→
Conferinţa "Microelectronics and Computer Science"
→
2014
→
View Item

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