Abstract:
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 cercetările noastre, aplicând metode pattetn-driven design şi genetic programming, noi ne dorim să contribuim la accelerarea apariţiei unor astfel de sisteme, care vor cere implicarea minimă a proiectanţilor. Clasificările şi formalizările şabloanelor de proiectare ne vor facilita înţelegerea şi utilizarea lor. Astfel în acest articol ne propunem să trecem în revistă cele mai actuale clasificări şi formalizări, precum şi să prezentăm un formalism ce na va permite facil şi intuitiv să reprezentăm formal şabloanele, dar şi unificarea lor.