Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows-Reference-Cited by-同舟云学术

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows

Published:2014 Issue: Volume: Page:41-55
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
language:
Short-container-title:

Author:

Bianculli Domenico,Filieri Antonio,Ghezzi Carlo,Mandrioli Dino

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-45234-9_4

Reference36 articles.

1. van der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)

2. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

3. Lecture Notes in Computer Science;A. Barenghi,2013

4. Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: Issues and challenges. IEEE Computer 39(10), 36–43 (2006)

5. Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: A syntactic-semantic approach to incremental verification (2013), http://arxiv.org/abs/1304.8034

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. VIEW;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08

2. Formal Methods and Agile Development: Towards a Happy Marriage;The Essence of Software Engineering;2018

3. Of software and change;Journal of Software: Evolution and Process;2017-08-01

4. Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems;Software Engineering for Self-Adaptive Systems III. Assurances;2017

5. Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time;IEEE Transactions on Software Engineering;2016-01-01