A Rewriting Semantics for a Software Architecture Description Language-Reference-Cited by-同舟云学术

A Rewriting Semantics for a Software Architecture Description Language

Published:2005-05 Issue: Volume:130 Page:345-377
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Rademaker Alexandre,Braga Christiano,Sztajnberg Alexandre

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference37 articles.

1. Allen, R. and D. Garlan, Beyond definition/use: architectural interconnection, in: Proceedings of the workshop on Interface definition languages (1994), pp. 35–45 http://doi.acm.org/10.1145/185084.185101

2. The Design of the UNIX Operation System;Bach,1987

3. Principles of Concurrent and Distributed Programming;Ben-Ari,1990

4. Making components contract aware;Beugnard;IEEE Computer,1999

5. Towards a rewriting semantics to a software architecture description language;Braga;Electronic Notes in Theoretical Computer Science,2003

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

1. Scaling Correctness-by-Construction;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

2. Teaching Design-by-Contract for the Modeling and Implementation of Software Systems;Proceedings of the 14th International Conference on Software Technologies;2019

3. The analysis of architectural languages for the needs of practitioners;Software: Practice and Experience;2018-01-15

4. Architectural Languages' Connector Support for Modeling Various Component Interactions: A Review;FRONT ARTIF INTEL AP;2018

5. Visual Specification and Analysis of Contract-Based Software Architectures;Journal of Computer Science and Technology;2017-09