Author:
He Xudong,Yu Huiqun,Shi Tianjun,Ding Junhua,Deng Yi
Subject
Hardware and Architecture,Information Systems,Software
Reference43 articles.
1. The Existence of Refinement Mappings;Abadi;Theoretical Computer Science,1991
2. Composing specifications;Abadi;ACM Transactions on Programming Languages and Systems,1993
3. Formalizing style to understand descriptions of software architecture;Abowd;ACM Transaction on Software Engineering and Methodology,1995
4. A formal basis for architectural connection;Allen;ACM Transactions on Software Engineering and Methodology,1997
5. Berezin, S., Campos, S., Clarke, E.M., 1998. Compositional Reasoning in Model Checking. Technical Report, CMU-CS-98-106, Carnegie Mellon University
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Personal Journey in Petri Net Research;Carl Adam Petri: Ideas, Personality, Impact;2019
2. A Method to Analyze Predicate Transition Nets Using SPIN Model Checker;International Journal of Software Engineering and Knowledge Engineering;2017-11
3. A Term Rewriting Approach to Analyze High Level Petri Nets;2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE);2016-07
4. PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures;Communications in Computer and Information Science;2016
5. Formal Specification of the $${eP^2}$$ e P 2 Architecture;Hagenberg Business Process Modelling Method;2016