Titlebook: System Analysis and Modeling: Models and Reusability; 8th International Co Daniel Amyot,Pau Fonseca i Casas,Gunter Mussbacher Conference pr

樹木中

Towards an Extensible Modeling and Validation Framework for SDL-UMLation of models that are compliant to Z.109, is presented. As an additional feature, the SU-MoVal framework also provides an editor for the specification of a textual notation that is mapped to corresponding SDL-UML elements.

無關(guān)緊要

性冷淡

Acceptance Test Optimizationstem with test stubs emulating system components and therefore cannot be substituted to acceptance test cases. In this paper, we propose an approach that maps acceptance test cases to integration test cases and eliminates test cases that have already been exercised on the system during the integration testing phase.

Nebulous

Motilin

Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Tracescution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.

opportune

社團

Insights on the Use of OCL in Diverse Industrial Applicationsblems. Second, we report the key results of the industrial application of OCL. Finally, we provide guidance to researchers and practitioners for choosing an appropriate meta level and purpose for their specific industrial problem at hand.

Panther

Intruder

Palate