Loading...
Search for:
mirian--alireza
0.131 seconds
List View
Gallery View
| # | Type | Title | Author | Publisher | Pub. Year | Subjects | Call Number |
|---|---|---|---|---|---|---|---|
| 1 | پایان نامه | تصدیق هویت گوینده مستقل از متن برای دادگان تلفنی Telephony Text-Independent Speaker Verification in Total Variability Space | میریان، علیرضا Mirian, Alireza | صنعتی شریف | 1393 | تصدیق هویتی گوینده مستقل از متن Text-Independent Speaker Verification / بردار هویت Identity Vector (I-Vector) / امتیازدهی شباهت کسینوسی Cosine Similarity Scoring / عدم تطبیق طول Duration Missmatch / عدم تطابق محتوای واجی Phonetic-content Mismatch |
19-46319
|
| 2 | مقاله | Analyzing chor specifications by translation into FSP | Roohi, N. | 2009 |
Chor.
Choreography. FSP. WS-CDL. Automatically generated. Java codes. Process algebras. Prototype tools. Realizability. Concurrent engineering. Encoding (symbols) Job analysis. Rapid prototyping. Specifications. |
$stringUtil.getCallnumberViewFormat($resource.getCallNumber())
|
|
| 3 | پایان نامه | الگوریتمی جهت یافتن الگوهای متناوب در داده کاوی توزیع شده An Algorithm for Frequent Pattern Mining in Distributed Data Mining | باقری، مریم Bagheri, Maryam | صنعتی شریف | 1390 | داده کاوی توزیع شده Distributed Mining / الگوی متناوب Frequent Pattern / ساختار داده ها Data Structure / قرارداد مبتنی بر شایعه Gossip Based Protocol |
19-42375
|
| 4 | پایان نامه | فرایند نیمه خودکار آزمون نرمافزار با استفاده از روش افراز فضای ورودی A Semi-Automated Software Testing Using Input Space Partitioning | خانبابا، یونس Khanbaba, Younes | صنعتی شریف | 1395 | مورد آزمون Test Case / آزمایش نرم افزاری Software Testing / افراز فضای ورودی Input Space Partitioning / زبان مدل سازی یکپارچه Unified Modeling Language (UML) / خصوصیات فضای ورودی Input Characteristics / خودکار سازی آزمون Test Automation |
19-49375
|
| 5 | پایان نامه | تولید نسخ جهشیافته برای بهبود مجموعهی آزمون با استفاده از روشهای مبتنی بر جستجو Generating Mutants to Improve Test Suites: A Search-Based Approach | براتی، بابک Barati, Babak | صنعتی شریف | 1397 | آزمایش نرم افزاری Software Testing / آزمون نسخ جهش یافته Mutation Testing / الگوریتم ژنتیک Genetic Algorithm / کیفیت نرم افزار Software Quality Assurance / آزمون مبتنی بر جستجو Search Based Testing |
19-51214
|
| 6 | پایان نامه | ارائه ی بهبودی بر روش توسعه ی مبتنی بر آزمون نرم افزار An Improvement on Test Driven Development | صادقی، علیرضا Sadeghi, Alireza | صنعتی شریف | 1389 | آزمایش نرم افزاری Software Testing / کیفیت نرم افزار Software Quality Assurance / توسعه ی مبتنی بر آزمون Test Driven Development (TDD) / آزمون مبتنی بر مدل Model Based Testing (MBT) |
19-41219
|
| 7 | پایان نامه | بهینه سازی پردازش پرس و جوهای XML XML Query Processing Optimization | صدری، مهدی Sadri, Mehdi | صنعتی شریف | 1390 | پرس و جوهای زبان علامت گذاری قابل گسترش Extensible Markup Language (XML)Queries / زبان علامت گذاری قابل گسترش Extensible Markup Language (XML) / پایگاه داده Database / جویبار داده Data Stream / پردازش پرس و جو Query Processing |
19-41983
|
| 8 | پایان نامه | روشی برای آزمون نرم افزارهای مبتنی بر جنبه A Method for Testing Aspect-Oriented Programs | شکوهی، سحر Shokouhi, Sahar | دانشگاه صنعتی شریف | 1392 | آزمون مبتنی بر گرامر Grammar Based Testing / برنامه نویسی جنبه گرا Aspect Oriented Programming / نمودار توالی Sequence Diagram / معیارهای آزمون Test Criteria / زبان مدل سازی یکپارچه Unified Modeling Language (UML) |
19-45082
|
| 9 | پایان نامه | یک متدولوژی چابک با امکان استفاده مجدد از داراییهای مشترک An Agile Methodology with the Facility of Reusing Common Assets | ورمزیار، مجتبی Varmazyar, Mojtaba | صنعتی شریف | 1394 | زبان Language / دستور زبان Grammar / روش شناسی چابک Agile Methodology / استفاده مجدد نرم افزار Software Reuse / نرم افزار کاری Working Software / به کارگیری مجدد بین سیستم های مشابه Reuse in Similar Systems / نرم افزار به سان زبان Software As a Language |
19-47556
|
| 10 | پایان نامه | آزمون تکاملی نرم افزارهای شیءگرا Evolutionary Testing of Object Oriented Softwares | بهرامی، یاسر Bahrami, Yaser | صنعتی شریف | 1394 | آزمایش نرم افزاری Software Testing / الگوریتم تکاملی Evolutionary Algorithm / بستر نرم افزاری شیءگرا Object-Oriented Software Framework / آزمون تکاملی Evolutionary Testing / آزمون ادغام Integration Testing |
19-47803
|
| 11 | پایان نامه | آزمون برنامههای رویدادرانه تحت سیستم عامل اندروید Testing Android Event-Driven Applications | حسنتبار، نوید Hassantabar, Navid | صنعتی شریف | 1394 | نرم افزارهای رویداد رانه Event-Driven Softwares / سیستم عامل اندروید Android Operating System / واسط کاربری گرافیکی Graphic User Interface / سیستم های کاربردی نرم افزار Application Software Systems / برنامه های اندروید Android Applications / فرایند آزمون Test Process |
19-48858
|
| 12 | پایان نامه | روشی برای زمان بندی و تخصیص منابع در سیستم مدیریت گردش کار عامل گرا An Approach for Scheduling of Resources in Agent Oriented Work-flow Management System | کیایی ها، مسعود Kiaeeha, Masoud | صنعتی شریف | 1393 | سیستم مدیریت گردش کار Workflow Management System / سیستم توزیع شده Distributed System / مساله تخصیص وظیفه Task Assignment / زمان بندی کارها - منابع Jobs-Resources Scheduling / عامل های نرم افزاری Software Agents |
19-45892
|
| 13 | پایان نامه | روشی برای تبدیل مدل های مستقل از کامپیوتر به مدل های مستقل از سکو در تولید مدلرانه نرمافزار A Technique for Transforming Computer Independent Model to Platform Independent Model in Model Driven Development of Software | پورعابدینی، محمد Pourabedini, Mohammad | صنعتی شریف | 1394 | معماری خدمات گرا Services Oriented Architecture / مدل مستقل از بستر Platform Independent Model (PIM) / مدل مستقل از محاسبات Computational Independent Model (CIM) / معماری مبتنی بر مدل Model Driven Architecture |
19-48038
|
| 14 | پایان نامه | یک روش تکاملی ویژگی گرا برای مهندسی خط محصول نرم افزار An Evolutionary Feature-Oriented Approach For Software Product Line Engineering | طاهری، نعیم Taheri, Naeim | صنعتی شریف | 1394 | خط تولید نرم افزار Software Product Line / الگوریتم تکاملی Evolutionary Algorithm / برنامه نویسی ویژگی گرا Feature-Oriented Programming (FOP) / زبان برنامه نویسی سی C Programming Language / مهندسی خط محصول Product Line Engineering / برنامه نویسی مبتنی بر دلتا Delta-oriented Programming |
19-48029
|
| 15 | پایان نامه | روشی مبتنی بر الگو جهت بازآرایی موارد آزمون در تولید آزمون - رانه نرم افزار Test Case Refactoring in Test-Driven Development of Software: A Pattern-Based Approach | مسقدی، نیما Masghadi, Nima | صنعتی شریف | 1394 | توسعه ی مبتنی بر آزمون Test Driven Development (TDD) / آزمایش نرم افزاری Software Testing / الگوی طراحی Design Pattern / بازآرایی Refactoring |
19-48142
|
| 16 | پایان نامه | رویکردی مدل مبنا به آزمون سیستم های مبتنی بر موتور گردش کار Testing of Workflow Engine Based Systems: A Model-Based Approach | فرنوش، مجتبی Farnoush, Mojtaba | صنعتی شریف | 1393 | آزمون مبتنی بر مدل Model Based Testing (MBT) / موتور گردش کار Workflow Engine / فرایند کسب و کار Business Process / گردش کار Workflow / مورد آزمون Test Case / زبان مدل سازی و نمادگذاری فرایند تجاری 2 Business Process Model and Notation 2 (BPMN2) |
19-47149
|
| 17 | پایان نامه | فراهم سازی انعطاف در سامانه های گردش کار در زمان اجرا Enabling Flexibility in Workflow Systems at Runtime | تهمورسی، حامد Tahmooresi, Hamed | صنعتی شریف | 1393 | گردش کار Workflow / انعطاف پذیری Flexibility / مدیریت فرایند کسب و کار Business Process Management System / نمونه در حال اجرا Running Instances / الگوی تطبیق Adaptation Pattern |
19-46438
|
| 18 | پایان نامه | آزمون نرمافزار مبتنی بر گرامر ورودی حاوی معنا Software Testing Based on Input Grammars with Semantics | کرامتی، حسین Keramati, Hossein | صنعتی شریف | 1393 | معیارهای آزمون مبتنی بر گرامر Grammar Based Software Testing Criteria / آزمایش نرم افزاری Software Testing / تولید خودکار الگوی آزمون Automatic Test Pattern Generation (ATPG) / محدودیت معنایی Semantic Constraint |
19-47909
|
| 19 | پایان نامه | تولید موارد آزمون برای برنامههای تحت وب به کمک دادههای محیط Generating Test Cases for Web-Based Programs Using Field Data | لطفی، مهسا Lotfi, Mahsa | صنعتی شریف | 1396 | مورد آزمون Test Case / برنامه نویسی جنبه گرا Aspect Oriented Programming / تولید موارد آزمون Test Cases Generation / آزمون سامانه های تحت وب Web Systems Testing / ضبط و بازپخش Capture and Replay / نشست کاربر User Session |
19-49757
|
| 20 | پایان نامه | پالایش توصیف صوری شئ گرا به کد شئ گرا Refning Object Oriented Formal Specifcation To Object Oriented Code | پیری، راضیه Piri, Razieh | صنعتی شریف | 1388 | توصیف صوری Formal Specification / حساب پالایش Refinement Calculus / طراحی شیءگرا Object Oriented Design / برنامه نویسی شیءگرا Object-Oriented Programming / روش های صوری Formal Methods |
19-39480
|