خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 151133
Doc. No : ET22925
Main Entry : Alaa E. Ibrahim
Title Proper : Scenario-based Verification and Validation of Dynamic UML Specifications
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : The Unified Modeling Language (UML) is the result of the unification process of earlier objectoriented models and notations. Verification and validation (V&V) tasks, as applied to UMLspecifications, enable early detection of analysis and design flaws prior to implementation. In thiswork, we address four V&V analysis methods for UML dynamic specifications, namely: Timinganalysis and automatic V&V of timing constraints, automated Architectural-level Riskassessment, Performance Modeling and Fault Injection analysis. For each we present: approaches,methods and/or automated techniques. We use two case studies: a Cardiac Pacemaker and asimplified Automatic Teller Machine (ATM) banking subsystem, for illustrating the developedtechniques...,....-...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject : Electericl tess
: برق
electronic file name : TL46153.pdf
Title and statement of responsibility and : Scenario-based Verification and Validation of Dynamic UML Specifications [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)