DSpace Repository

Concurrency specification using Event-based Specification Chart

Show simple item record

dc.contributor.author CIORBĂ, Dumitru
dc.contributor.author BEŞLIU, Victor
dc.date.accessioned 2020-09-29T10:16:39Z
dc.date.available 2020-09-29T10:16:39Z
dc.date.issued 2011
dc.identifier.citation CIORBĂ, Dumitru, BEŞLIU, Victor. Concurrency specification using Event-based Specification Chart. In: Computer Science Journal of Moldova. 2011, nr. 3(57), pp. 231-253. ISSN 1561-4042. en_US
dc.identifier.issn 1561-4042
dc.identifier.uri http://repository.utm.md/handle/5014/10079
dc.description.abstract Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts. In this article there will be presented an approach based on using formalism. Theoretical advantages of formal specification are well known. However, usage of formal specification in practice ascertains some dificulties, thus their current advantages are not widely explored. The main focus of our research is to improve usage of formal method in verification of concurrency. Our vision consists in adapting the pragmatic approach and relaxing formalism, by creating graphical specification language based on events. en_US
dc.language.iso en en_US
dc.publisher Institutul de Matematică şi Informatică al AŞM 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 software architecture en_US
dc.title Concurrency specification using Event-based Specification Chart en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Advanced Search

Browse

My Account