Merging Partial Behaviour Models with Different Vocabularies-Reference-Cited by-同舟云学术

Merging Partial Behaviour Models with Different Vocabularies

Published:2013 Issue: Volume: Page:91-105
ISSN:0302-9743
Container-title:CONCUR 2013 – Concurrency Theory
language:
Short-container-title:

Author:

Ben-David Shoham,Chechik Marsha,Uchitel Sebastian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40184-8_8

Reference16 articles.

1. Lecture Notes in Computer Science;N. Beneš,2011

2. Chechik, M., Brunet, G., Fischbein, D., Uchitel, S.: Partial behavioural models for requirements and early design. In: Proc. of MMOSS 2006 (2006)

3. Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, The Netherlands (July 1996)

4. D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The Modal Transition System Analyser. In: Proc. of ASE 2008, pp. 475–476 (2008)

5. Lecture Notes in Computer Science;D. Fischbein,2009

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

1. A Divide & Concur Approach to Collaborative Goal Modeling with Merge in Early-RE;2022 IEEE 30th International Requirements Engineering Conference (RE);2022-08

2. Automated Synthesis of Secure Platform Mappings;Computer Aided Verification;2019

3. Goal Model Integration: Advanced Relationships and Rationales Documentation;Lecture Notes in Computer Science;2019

4. Testing Preorders for dMTS;ACM Transactions on Embedded Computing Systems;2017-04-14

5. Compositionality for quantitative specifications;Soft Computing;2017-02-24