Titlebook: Architecture Description Languages; IFIP TC-2 Workshop o Pierre Dissaux,Mamoun Filali-Amine (Chair),Françoi Conference proceedings 20051st

飞镖

该得

EAST-ADL — An Architecture Description Languageastering the complexity of these systems. We present EAST-ADL, an Architecture Description Language developed in this project et show how the verification and validation activities are linked to this language.

禁止

ectropion

Conference proceedings 20051st editionseveral aspects like timing, safety, reliability. The papers in this state-of-the-art volume cover such topics of interest as components, connectors, composition; semantics and formalization; verification, simulation and test; tools and development environments; standardization; industrial projects.

nonchalance

ANTI

MERIT

deviate

Building Tool Suite for AADLsuites used to develop, generate or test the system. This means that such tool suites have to explicitly support AADL..AADL is based on MetaH, which is both an ADL and a tool set supporting it. In this paper, we will consider how an equivalent AADL tool suite could be built, possibly based on MetaH

galley

或者发神韵