An architecture description language for verification in component-based software

A Bouzoualegh, D Marcadet… - 2008 32nd Annual …, 2008 - ieeexplore.ieee.org
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …
被引用次数：10 相关文章

An Architecture Description Language for Verification in Component-Based Software

A Bouzoualegh, F Boulanger… - 32nd Annual IEEE …, 2008 - centralesupelec.hal.science
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …

An Architecture Description Language for Verification in Component-Based Software

A Bouzoualegh, D Marcadet, F Boulanger… - Proceedings of the 2008 …, 2008 - dl.acm.org
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …
[PDF] researchgate.net

[PDF][PDF] An Architecture Description Language for Verification in Component-based Software

A Bouzoualegh, D Marcadet, F Boulanger, C Jacquet - researchgate.net
In the context of component-based design, we propose ADLV1, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …

An Architecture Description Language for Verification in Component-Based Software

A Bouzoualegh, D Marcadet, C Jacquet - 2008 32nd Annual IEEE …, 2008 - computer.org
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …

An Architecture Description Language for Verification in Component-Based Software

A Bouzoualegh, F Boulanger, C Jacquet… - 32nd Annual IEEE …, 2008 - hal.science
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …
[PDF] psu.edu

[PDF][PDF] An Architecture Description Language for Verification in Component-based Software

A Bouzoualegh, D Marcadet, F Boulanger, C Jacquet - Citeseer
In the context of component-based design, we propose ADLV1, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …

An Architecture Description Language for Verification in Component-Based Software

A Bouzoualegh, D Marcadet, F Boulanger… - 2008 32nd Annual IEEE … - infona.pl
In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …
[PDF] academia.edu

[PDF][PDF] An Architecture Description Language for Verification in Component-based Software

A Bouzoualegh, D Marcadet, F Boulanger, C Jacquet - academia.edu
In the context of component-based design, we propose ADLV1, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …
[PDF] academia.edu

[PDF][PDF] An Architecture Description Language for Verification in Component-based Software

A Bouzoualegh, D Marcadet, F Boulanger, C Jacquet - academia.edu
In the context of component-based design, we propose ADLV1, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …