Towards Interaction Reliability in Concurrent Applications

Towards Interaction Reliability in Concurrent Applications

Developing trustworthy concurrent applications is a seemingly never ending quest, which is necessary but difficult. It is necessary because mainstream systems and applications are inherently concurrent and they are pervasive to our daily life activities. It is difficult because such systems are inhe...

Full description

Bibliographic Details
Main Authors: S. Bliudze, R. Bruni, M. Carbone, A. Silva
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2012-06-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XXII1/XXII1_0.pdf
id doaj-c7efbac4272249d6816ac45d649775f2
record_format Article
spelling doaj-c7efbac4272249d6816ac45d649775f22020-11-25T01:48:33ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952012-06-01XXII11410.7561/SACS.2012.1.1Towards Interaction Reliability in Concurrent ApplicationsS. BliudzeR. BruniM. CarboneA. SilvaDeveloping trustworthy concurrent applications is a seemingly never ending quest, which is necessary but difficult. It is necessary because mainstream systems and applications are inherently concurrent and they are pervasive to our daily life activities. It is difficult because such systems are inherently interactive and heterogeneous, so that boundaries can hardly be established for studying subsystems in isolation. Formal methods are a key instrument in resolving ambiguities and design reliable applications in a rigorous way. The authors overview major problems in the application of formal methods and outline how they are tackled by the papers collected in this volume.http://www.info.uaic.ro/bin/download/Annals/XXII1/XXII1_0.pdf
collection DOAJ
language English
format Article
sources DOAJ
author S. Bliudze
R. Bruni
M. Carbone
A. Silva
spellingShingle S. Bliudze
R. Bruni
M. Carbone
A. Silva
Towards Interaction Reliability in Concurrent Applications
Scientific Annals of Computer Science
author_facet S. Bliudze
R. Bruni
M. Carbone
A. Silva
author_sort S. Bliudze
title Towards Interaction Reliability in Concurrent Applications
title_short Towards Interaction Reliability in Concurrent Applications
title_full Towards Interaction Reliability in Concurrent Applications
title_fullStr Towards Interaction Reliability in Concurrent Applications
title_full_unstemmed Towards Interaction Reliability in Concurrent Applications
title_sort towards interaction reliability in concurrent applications
publisher Alexandru Ioan Cuza University of Iasi
series Scientific Annals of Computer Science
issn 1843-8121
2248-2695
publishDate 2012-06-01
description Developing trustworthy concurrent applications is a seemingly never ending quest, which is necessary but difficult. It is necessary because mainstream systems and applications are inherently concurrent and they are pervasive to our daily life activities. It is difficult because such systems are inherently interactive and heterogeneous, so that boundaries can hardly be established for studying subsystems in isolation. Formal methods are a key instrument in resolving ambiguities and design reliable applications in a rigorous way. The authors overview major problems in the application of formal methods and outline how they are tackled by the papers collected in this volume.
url http://www.info.uaic.ro/bin/download/Annals/XXII1/XXII1_0.pdf
work_keys_str_mv AT sbliudze towardsinteractionreliabilityinconcurrentapplications
AT rbruni towardsinteractionreliabilityinconcurrentapplications
AT mcarbone towardsinteractionreliabilityinconcurrentapplications
AT asilva towardsinteractionreliabilityinconcurrentapplications
_version_ 1725011546284752896

Similar Items