Specificarea problemelor clasice de concurenţă utilizând Object-Z

dc.contributor.author	CIORBĂ, Dumitru
dc.date.accessioned	2019-11-08T08:57:59Z
dc.date.available	2019-11-08T08:57:59Z
dc.date.issued	2011
dc.identifier.citation	CIORBĂ, Dumitru. Specificarea problemelor clasice de concurenţă utilizând Object-Z. In: Microelectronics and Computer Science: proc. of the 7th intern. Conf., September 22-24, 2011. Chişinău, 2011, vol. 1, pp. 238-241. ISBN 978-9975-45-174-1.	en_US
dc.identifier.isbn	978-9975-45-174-1
dc.identifier.uri	http://repository.utm.md/handle/5014/6398
dc.description.abstract	Concurenţa, fiind o proprietate critică de sistem, trebuie luată în considerare încă de la etapele iniţiale de elaborare – arhitecturare. Descrierea proprietăţilor arhitecturale se fac prin intermediul limbajelor de specificare. Din multitudinea limbajelor, datorită avantajelor specifice, anume cele formale au un potenţial ridicat de utilizare în dezvoltarea sistemelor moderne ce sunt inerent concurente. În această lucrare se va examina posibilităţile limbajului Object-Z de specificare a sistemelor concurente analizând două probleme clasice de concurenţă.	en_US
dc.language.iso	ro	en_US
dc.publisher	Technical University of Moldova	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	Object-Z	en_US
dc.subject	probleme de concurenţă	en_US
dc.subject	concurenţă	en_US
dc.title	Specificarea problemelor clasice de concurenţă utilizând Object-Z	en_US
dc.type	Article	en_US