Titlebook: SDL 2011: Integrating System and Software Modeling; 15th International S Iulian Ober,Ileana Ober Conference proceedings 2012 Springer-Verla

省略

A New Approach in Model-Based Testing: Designing Test Models in TTCN-3definition language to be used for this purpose and give two alternative approaches how this could be carried out. TTCN-3 as modelling language can support test generation tools by means of the annotations we introduce in the paper.

ARK

A Model-Driven Framework for Component-Based Developmentce composition to system composition. The framework supports three kinds of reusable building blocks: (1) collaborations for global cross-cutting behaviors including services and interfaces; (2) roles or partial components for component compositions; and (3) components for system compositions.

TEN

Congregate

Conference proceedings 2012 of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

Grievance

0302-9743 proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and ser

粗语

SDL-2010: Background, Rationale, and Survey. After the history, there is a description of the new organization followed by some details of the changed feature set of a revised version SDL-2010 compared with SDL-2000. The paper concludes with a snapshot of the status of the SDL-2010 standard.

内行

动脉

impale

评论性