necrosis
发表于 2025-3-21 16:43:23
书目名称SDL 2003: System Design影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0860143<br><br> <br><br>书目名称SDL 2003: System Design读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0860143<br><br> <br><br>
membrane
发表于 2025-3-21 21:46:44
SDL 2003: System Design978-3-540-45075-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
胆小懦夫
发表于 2025-3-22 04:16:02
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/860143.jpg
联想
发表于 2025-3-22 07:59:44
https://doi.org/10.1007/3-540-45075-0SDL; Session; System; UML; architecture; description languages; distributed systems; formal language; formal
无法取消
发表于 2025-3-22 11:31:55
A Real-Time Profile for UML and How to Adapt It to SDLt OMG. In contrast to this OMG profile, we put emphasis on semantics and on its use in the context of timed analysis of real-time embedded systems. The defined profile is compatible with the time concepts existing in SDL, and we show how we can also adapt these notations to SDL and MSC, which do not yet have a notation for this purpose.
BORE
发表于 2025-3-22 15:35:01
Scenario-Based Performance Engineering with UCMNAVper describes the process, and the information that must be supplied in the way of scenario annotations. It illustrates the tool-supported process with a substantial example related to electronic commerce, which demonstrates the impact of provisioning the software architecture for concurrency.
注意到
发表于 2025-3-22 20:11:58
Using SDL for Modeling Behavior Composition concept newly introduced in SDL-2000 is used in an original and innovative way to model roles and their composition. Simple SDL extensions are also discussed that facilitate composition. These extensions do not require changes to be made to the SDL semantics.
发电机
发表于 2025-3-23 00:39:37
Refining Timed MSCsng them further, while preserving the properties of the high-level specification during the refinement process. We introduce conformance relations between MSCs and algorithms for checking these relations.
Resign
发表于 2025-3-23 03:32:00
Applying Mutation Analysis to SDL Specifications of conformance test generation and selection for telecommunications protocols. We present two algorithms for automatic test generation and selection. These provide the basis of the Test Selector tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study using the tool.
hypertension
发表于 2025-3-23 09:22:34
Automatic Formal Model Generation and Analysis of SDLa lot of time and greatly reduces the human mistakes in creating the model. The design process is also considerably more efficient because it is possible to check that the system is correct at a very early stage. Methods to reduce the complexity of the analysis both at the modeling and at the analysis level are discussed.