CIORBĂ, Dumitru; BEŞLIU, Victor
(Technical University of Moldova, 2009)
Utilizarea tehnicilor formale sau semi-formale în procesele de proiectare, în cel mai apropiat timp poate duce la apariţia unor instrumente automatizate de design şi refactoring a sistemelor obiect-orientate. Iar prin ...