Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies-Reference-Cited by-同舟云学术

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies

Published:2010-06 Issue: Volume:263 Page:5-30
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

André Pascal,Ardourel Gilles,Attiogbé Christian,Lanoix Arnaud

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference29 articles.

1. Refinement, Decomposition and Instantiation of Discrete Models: Application to Event-B;Abrial;Fundamenta Informaticae,2007

2. The B-Book Assigning Programs to Meanings;Abrial,1996

3. ArchJava: Connecting Software Architecture to Implementation;Aldrich,2002

4. Robert Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144

5. Pascal André, Gilles Ardourel, and Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. In Proceedings of ProVeCS'07 (TOOLS Europe), number 567 in Technichal Report. ETH Zurich, 2007

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

1. Trusted Services for Cyber Manufacturing Systems;Service Orientation in Holonic and Multi-Agent Manufacturing;2018

2. Combining Techniques to Verify Service-based Components;Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development;2017

3. COSTOTest: a tool for building and running test harness for service-based component models (demo);Proceedings of the 25th International Symposium on Software Testing and Analysis;2016-07-18

4. Using Event-B to Verify the Kmelia Components and Their Assemblies;Abstract State Machines, Alloy, B and Z;2010