標(biāo)題: Titlebook: Scenarios: Models, Transformations and Tools; International Worksh Stefan Leue,Tarja Johanna Syst? Conference proceedings 2005 Springer-Ver [打印本頁(yè)] 作者: Systole 時(shí)間: 2025-3-21 17:13
書(shū)目名稱Scenarios: Models, Transformations and Tools影響因子(影響力)
書(shū)目名稱Scenarios: Models, Transformations and Tools影響因子(影響力)學(xué)科排名
書(shū)目名稱Scenarios: Models, Transformations and Tools網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Scenarios: Models, Transformations and Tools網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Scenarios: Models, Transformations and Tools被引頻次
書(shū)目名稱Scenarios: Models, Transformations and Tools被引頻次學(xué)科排名
書(shū)目名稱Scenarios: Models, Transformations and Tools年度引用
書(shū)目名稱Scenarios: Models, Transformations and Tools年度引用學(xué)科排名
書(shū)目名稱Scenarios: Models, Transformations and Tools讀者反饋
書(shū)目名稱Scenarios: Models, Transformations and Tools讀者反饋學(xué)科排名
作者: AXIOM 時(shí)間: 2025-3-21 22:58
Why Timed Sequence Diagrams Require Three-Event Semanticsr transmission, reception and consumption. We argue that such traces give the necessary expressiveness to capture the standard UML interpretation of sequence diagrams as well as the black-box interpretation found in classical formal methods.作者: ovation 時(shí)間: 2025-3-22 00:54
Partial Order Semantics of Sequence Diagrams for Mobilitybstraction mechanism introduced in a previous paper and show that its application does not depend on the particular order it is applied. We formalise also the notion of lifeline introduced informally in the previous paper. We integrate our semantics with UML2.0 and show that they fit well together. We explain our approach using series of examples.作者: Fsh238 時(shí)間: 2025-3-22 05:41 作者: Irritate 時(shí)間: 2025-3-22 10:36
0302-9743 re used to - scribe usage or interaction scenarios of software systems or their components. While representing scenarios using a visual notation is not the only possibility, a vast majority of scenario description languages is visual. Scenarios are used in telecommunications as Message Sequence Char作者: 責(zé)難 時(shí)間: 2025-3-22 15:49 作者: conceal 時(shí)間: 2025-3-22 19:42 作者: 經(jīng)典 時(shí)間: 2025-3-23 00:25
Deciding Properties of Message Sequence Chartsrd (ITU Z120), and is also included, in a slightly different form, in the popular UML standard (called there .). We present some of the main results related to this notation, in the context of specification and automatic verification of communication protocols. We look at issues related to specifica作者: ALTER 時(shí)間: 2025-3-23 04:54 作者: harpsichord 時(shí)間: 2025-3-23 06:00
Autonomous Shuttle System Case Studyon-demand scheduling with cost and resource effectiveness, thus offering the advantages of both individual and public transportation. Fleets of intelligent shuttles capable of transporting a small number of passengers or a single freight container autonomously navigate a passive track system and mak作者: Inscrutable 時(shí)間: 2025-3-23 11:09
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexityed behavior. This perspective admits the prospect of constructing a design out of its requirements. A formal representation for individual functional requirements, called behavior trees makes this possible. Behavior trees, derived by rigorous translation from individual functional requirements state作者: 問(wèn)到了燒瓶 時(shí)間: 2025-3-23 16:40 作者: 平項(xiàng)山 時(shí)間: 2025-3-23 19:28
Traceability and Evaluation in Scenario Analysis by Use Case Mapsplain how a UCM model was developed from a requirements oracle case study: the Autonomous Shuttle Transport System. We further consider establishing links between scenario elements and other types of requirements. These links, which can be supported by requirements management tools, are useful to ma作者: epidermis 時(shí)間: 2025-3-23 23:01
Scenario-Based Statistical Testing of Quality of Service Requirementsl usage model from a set of usage scenarios in order to automatically generate test cases. We describe a methodology that was developed within the European IST project MaTeLo to ease testing by combining the advantages of formal description techniques, namely MSC, UML and TTCN-3. In the first step o作者: blithe 時(shí)間: 2025-3-24 02:25 作者: tolerance 時(shí)間: 2025-3-24 08:25
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Modelsritical systems. Designing and verifying the coordination between the components of such a system in order to ensure its overall correctness and safe operation are crucial and costly steps of the development process. In this paper, we extend our approach for the compositional formal verification of 作者: frugal 時(shí)間: 2025-3-24 14:42
Partial Order Semantics of Sequence Diagrams for Mobilitysystems. In a previous paper, we have introduced the so-called Sequence Diagrams for Mobil ity (SDM), a graphical notations based on UML Sequence Diagram. This notation has been used in several case studies and proved very useful. In this paper we introduce a formal, partial order based semantics fo作者: 顛簸下上 時(shí)間: 2025-3-24 15:24
From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport Systemh has been implemented in the . tool. In this paper, we give an overview of our approach and discuss several issues encountered during this research, before applying our approach to the Autonomous Shuttle Transport System and discussing this experience.作者: 全面 時(shí)間: 2025-3-24 21:51
Component Synthesis from Service Specificationse interaction and collaboration of multiple components; each component, in general, contributes to multiple services. Consequently, services and their defining interaction patterns are key elements in the development process for distributed system: they contain the cross-cutting aspects of collabora作者: 悠然 時(shí)間: 2025-3-25 00:04 作者: 一再煩擾 時(shí)間: 2025-3-25 06:49 作者: Truculent 時(shí)間: 2025-3-25 11:10 作者: 挫敗 時(shí)間: 2025-3-25 12:52 作者: Desert 時(shí)間: 2025-3-25 18:18
Autonomous Shuttle System Case Studyigent shuttles capable of transporting a small number of passengers or a single freight container autonomously navigate a passive track system and make independent and decentralized operational decisions.作者: 反饋 時(shí)間: 2025-3-25 20:09
Traceability and Evaluation in Scenario Analysis by Use Case Mapsinks between scenario elements and other types of requirements. These links, which can be supported by requirements management tools, are useful to maintain both the scenarios and requirements during their evolution. We also demonstrate how simple performance models generated from UCMs may impact high-level requirements and architectures.作者: 小平面 時(shí)間: 2025-3-26 00:48
Lightweight Formal Methods for Scenario-Based Software Engineeringel checking is computationally expensive and synthesis of distributed system is undecidable. Two lightweight techniques are thus presented that alleviate this intractability. These approaches sacrifice completeness for efficiency, but keep soundness.作者: Schlemms-Canal 時(shí)間: 2025-3-26 08:15
978-3-540-26189-6Springer-Verlag Berlin Heidelberg 2005作者: 蒙太奇 時(shí)間: 2025-3-26 10:50
Scenarios: Models, Transformations and Tools978-3-540-32032-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 拱墻 時(shí)間: 2025-3-26 13:16
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/861241.jpg作者: Microgram 時(shí)間: 2025-3-26 19:47 作者: 無(wú)法解釋 時(shí)間: 2025-3-26 20:58 作者: 和平 時(shí)間: 2025-3-27 02:11 作者: Myofibrils 時(shí)間: 2025-3-27 09:11
0302-9743 SCs) notation in its recommendation Z. 120. More recently, with the emergence of UML as a predominant software design meth- ology, there has been special intere978-3-540-26189-6978-3-540-32032-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: neurologist 時(shí)間: 2025-3-27 09:53
Scenario-Based Statistical Testing of Quality of Service Requirements represents a common interface between various tools of the MaTeLo approach. All steps in our methodology do also support the testing of QoS (Quality of Service) requirements that are annoted in a UML profile standard notation.作者: Myofibrils 時(shí)間: 2025-3-27 15:40
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Modelsrted, different system configurations can be specified as required by adjusting the behavior using the specific timing constraints. The paper describes the proposed approach using a running example and presents first results obtained using a prototype implementation.作者: Assault 時(shí)間: 2025-3-27 20:23 作者: 忘恩負(fù)義的人 時(shí)間: 2025-3-27 22:02
?ystein Haugen,Knut Eilif Husa,Ragnhild Kobro Runde,Ketil St?len作者: 凌辱 時(shí)間: 2025-3-28 03:46
Dorin B. Petriu,Daniel Amyot,Murray Woodside,Bo Jiang作者: 狼群 時(shí)間: 2025-3-28 07:16
Yves Bontemps,Patrick Heymans,Pierre-Yves Schobbens作者: Synovial-Fluid 時(shí)間: 2025-3-28 10:34 作者: textile 時(shí)間: 2025-3-28 14:42 作者: 協(xié)迫 時(shí)間: 2025-3-28 21:55
Two-prong Tagging with Jet Shapes,ignal is often an electroweak boson (H/W/Z) but it can also be a new particle (see Chap. 10 for examples). Our goal in this chapter is two-folded and it closely follows what was done in the previous chapter for quark-gluon tagging. First, we want to give a brief insight into analytic properties of t作者: 充氣女 時(shí)間: 2025-3-29 02:35 作者: 委屈 時(shí)間: 2025-3-29 03:24
After World Statehood? Legitimation and Potential Conflicts in a World Political Communitylex and pluralistic world. By focusing on legitimacy, we can analyse the feasibility of paths towards global-scale integration and the potential for conflicts, divisions, and subsequent disintegration. The standard security-military and functionalist arguments for unification may work to a point, bu作者: 茁壯成長(zhǎng) 時(shí)間: 2025-3-29 09:39 作者: 砍伐 時(shí)間: 2025-3-29 12:24
Application of Generalized Instantaneous Reactive/ Non-active Power Theories in the Control of Shunhe global compensation were conceived first. Then, experimental tests were conducted to prove the ability of the active filtering system to compensate a nonlinear distorted and unbalanced load under nonideal voltage conditions. The good dynamics behaviour of the compensating system is illustrated too.作者: incredulity 時(shí)間: 2025-3-29 19:30 作者: 險(xiǎn)代理人 時(shí)間: 2025-3-29 23:19
Sandeep Koranneden der NS-Zeit unmittelbar vorangehenden Zeitabschnitt, sondern in diesen Jahrzehnten hatten sich die deutschen Mediziner zu einer stabil organisierten Profession aus dem Bildungsbürgertum ausdifferenziert und agierten ausgesprochen selbstbewusst — nicht nur in beruflichen Belangen, sondern auch in作者: myopia 時(shí)間: 2025-3-30 02:47
Anthony van Raanation:.in which . is a constant dependent on the nature of the metal. Analysis of the values of . has shown that for transition metals, such as iron, it is possible to inhibit corrosion by the screening that results from both adsorption of an additive as well as from changes in the bonding energy of作者: 儀式 時(shí)間: 2025-3-30 07:26
Resolution-Improvement Scheme for Wireless Video Transmission,, a robust SR algorithm is proposed in the presence of different kinds of packet loss rate to enhance the image resolution. Experimental results indicate that the proposed robust resolution-enhancement scheme outperforms the competing methods from the aspects of PSNR (Peak-Signal-to-Noise Ratio) and作者: 富足女人 時(shí)間: 2025-3-30 09:53 作者: CHOKE 時(shí)間: 2025-3-30 12:38 作者: abduction 時(shí)間: 2025-3-30 16:40
https://doi.org/10.1007/978-3-322-95502-9Familie; Familienpolitik; Familiensoziologie; Frauenpolitik; Gesellschaft; Kernfamilie; Organisation; Polit作者: gimmick 時(shí)間: 2025-3-30 23:23
