Dumitru
41p62 comments posted · 0 followers · following 1
13 years ago @ Dumitru Ciorbă - Ben Kırgızistan oldu! · 0 replies · +1 points
Eu și Sergiu am fost în secțiunea Tehnologii informaționale și securitatea informațională. Temele au fost diverse: de la ascunderea informațiilor în transmisiuni audio, identificarea secvențelor audio la TV și radio, până la programări FPGA a unui „braț-robot”.
13 years ago @ Dumitru Ciorbă - Ben Kırgızistan oldu! · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Probleme clasice de co... · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Temele pentru examenul... · 0 replies · 0 points
13 years ago @ Dumitru Ciorbă - Temele pentru examenul... · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Limbajul PHP - prezent... · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Manifestul meu lingvistic · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Manifestul meu lingvistic · 2 replies · +1 points
13 years ago @ Dumitru Ciorbă - De ce acasă nu avem c... · 0 replies · +1 points
13 years ago @ Dumitru Ciorbă - Спецификаци... · 1 reply · +1 points
Specificarea formală se face pentru verificări formale, iar o diagramă a CU nu este nicidecum un formalism ce poate fi supus prelucrărilor automate matematice (deci și verificărilor formale). Limbajul diagramelor CU este un limbaj de specificare/modelare grafică a funcţionalităţilor şi tot. Este adevărat că de acolo se poate extrage (automat sau nu) informația de verificat, dar aceasta este o altă istorie.