Design verification in model-based μ-controller development using an abstract component-Reference-Cited by-同舟云学术

Design verification in model-based μ-controller development using an abstract component

Published:2010-02-18 Issue:1 Volume:10 Page:91-115
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Choi Yunja,Bunse Christian

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-010-0147-y.pdf

Reference51 articles.

1. Adamek J., Plasil F.: Component composition errors and update atomicity: static analysis. J. Softw. Maint. Evol. Res. Pract. 17(4), 363–377 (2005)

2. Allen R., Garlan D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6, 213–249 (1997)

3. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. (2004)

4. Atkinson C., Bayer J., Bunse C. et al.: Component-Based Product Line Engineering with UML. Addison-Wesley, Reading (2002)

5. Bondavalli A., Cin M.D., Latella D., Majzik I., Pataricza A., Savoia G.: Dependability analysis in the early phases of UML based system design. Int. J. Comput. Syst. Sci. Eng. 16(5), 265–275 (2001)

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

1. Vertical Test Reuse for Embedded Systems: A Systematic Mapping Study;2015 41st Euromicro Conference on Software Engineering and Advanced Applications;2015-08

2. Formal process algebraic modeling, verification, and analysis of an abstract Fuzzy Inference Cloud Service;The Journal of Supercomputing;2013-08-31

3. Evaluation of an Abstract Component Model for Embedded Systems Development;Journal of Information Processing Systems;2012-12-31

4. Controlled composition and abstraction for bottom-up integration and verification of abstract components;Information and Software Technology;2012-01