CATRUC, Mariana; MELNIC, Radu; BALMUŞ, Ion
(Tehnica UTM, 2014)
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 ...