CoCoME in Fractal-Reference-Cited by-同舟云学术

CoCoME in Fractal

Published: Issue: Volume: Page:357-387
ISSN:0302-9743
Container-title:The Common Component Modeling Example
language:
Short-container-title:

Author:

Bulej Lubomír,Bureš Tomáš,Coupaye Thierry,Děcký Martin,Ježek Pavel,Parízek Pavel,Plášil František,Poch Tomáš,Rivierre Nicolas,Šerý Ondřej,Tůma Petr

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-85289-6_14.pdf

Reference33 articles.

1. Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Component Reliability Extensions for Fractal Component Model (2006), http://kraken.cs.cas.cz/ft/public/public_index.phtml

2. ASM, http://asm.objectweb.org/

3. Baude, F., Baduel, L., Caromel, D., Contes, A., Huet, F., Morel, M., Quilici, R.: Programming, Composing, Deploying for the Grid. In: Cunha, J.C., Rana, O.F. (eds.) GRID COMPUTING: Software Environments and Tools. Springer, Heidelberg (January 2006)

4. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw., Pract. Exper. 36(11-12) (2006)

5. Bruneton, E., Coupaye, T., Stefani, J.B.: Fractal Component Model, version 2.0-3 (February 2004)

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

1. Dead variable analysis for multi-threaded heap manipulating programs;Proceedings of the 31st Annual ACM Symposium on Applied Computing;2016-04-04

2. Using meta-modeling in design and implementation of component-based systems: the SOFA case study;Software: Practice and Experience;2010-12-29

3. Model Checking of Component Protocol Conformance – Optimizations by Reducing False Negatives;Electronic Notes in Theoretical Computer Science;2010-06

4. A Road to a Formally Verified General-Purpose Operating System;Lecture Notes in Computer Science;2010

5. Supporting Real-Life Applications in Hierarchical Component Systems;Software Engineering Research, Management and Applications 2009;2009