省略 发表于 2025-3-28 17:31:48

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 发表于 2025-3-28 21:17:36

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 发表于 2025-3-29 02:11:32

http://reply.papertrans.cn/87/8602/860147/860147_43.png

Congregate 发表于 2025-3-29 06:08:11

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 发表于 2025-3-29 07:26:54

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

粗语 发表于 2025-3-29 14:13:35

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.

内行 发表于 2025-3-29 16:34:54

http://reply.papertrans.cn/87/8602/860147/860147_47.png

动脉 发表于 2025-3-29 23:43:10

http://reply.papertrans.cn/87/8602/860147/860147_48.png

impale 发表于 2025-3-30 03:27:15

http://reply.papertrans.cn/87/8602/860147/860147_49.png

评论性 发表于 2025-3-30 05:29:35

http://reply.papertrans.cn/87/8602/860147/860147_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: SDL 2011: Integrating System and Software Modeling; 15th International S Iulian Ober,Ileana Ober Conference proceedings 2012 Springer-Verla