| |
| mdd:start [2017/12/26 22:10] – [Метрики и количественный анализ программного обеспечения] rtriangle | mdd:start [2026/08/29 07:59] (current) – external edit 127.0.0.1 |
|---|
| | ====== Библиотека по методам проектирования ====== |
| |
| | В данной wiki собраны статьи по автоматизации разработки программного обеспечения с применением моделей, тестирования, а также смежным вопросам и примеры применения этих методов в индустрии. |
| | |
| | Внимание! Статья должна быть выполнена в вики формате, размещать архивы на файлхостингах и указывать ссылку не допускается. |
| | |
| | ===== Тестирование и верификация ===== |
| | |
| | - [[mdd:embedded_uml|Embedded systems in UML]] |
| | - [[mdd:all_verifier|Alf verifier]] |
| | - [[mdd:uml_mbt|A subset of precise UML for Model-based Testing]] |
| | - [[mdd:csp_b_generation|Automatic generation of CSP || B skeletons from xUML models]] |
| | - [[mdd:mujava_an_automated_class_mutation_system|MuJava. An Automated Class Mutation System]] |
| | - [[mdd:verified_dbc|Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm]] |
| | - [[mdd:jpet|jPET: an Automatic Test-Case Generator for Java]] |
| | - [[mdd:mod_violations|Detecting Software Modularity Violations]] |
| | - [[mdd:a_complexity_measure|A complexity measure]] |
| | |
| | ===== Фабрики программного обеспечения, линейки ПО, повторное использование ===== |
| | |
| | - [[mdd:rad_techics|RAD realities: beyond the hype to how RAD really works]] |
| | - [[mdd:spl_mutation|Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing]] |
| | - [[mdd:top_down_and_bottom_up|Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines]] |
| | - [[mdd:pragmatic_mdd|Pragmatic model-driven development using smart use cases and domain-driven design]] |
| | - [[mdd:fake_rational|A ratioanl design process: how and why to fake it]] |
| | - [[mdd:spl_reverse|Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines]] |
| | - [[mdd:reuse_uml|A Reuse Definition, Assessment, and Analysis Framework for UML]] |
| | - [[mdd:software_product_lines_adoption_an_industrial_case_study|Software Product Lines Adoption An Industrial Case Study]] |
| | - [[mdd:context_variability_modeling_for_runtime_configuration_of_service-based_dynamic_software_product_lines|Context Variability Modeling for Runtime Configuration of Service-based Dynamic Software Product Lines]] |
| | - [[mdd:approach_and_industrial_evaluation|Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation]] |
| | - [[mdd:neuro-symbolic_program_synthesis|Neuro-symbolic program synthesis]] |
| | - [[mdd:robustfill_neural_program_learning_under_noisy_io|RobustFill: Neural Program Learning under Noisy I/O]] |
| | - [[mdd:how_to_build_data_lake|How to build an enterprise data lake]] |
| | |
| | ===== Примеры применения MDSD ===== |
| | |
| | - [[mdd:rpg_dsl|The RPG DSL: a case study of language engineering using MDD for Generating RPG Games for Mobile Phones]] |
| | - [[mdd:formal_methods_in_safety_critical_railway|Formal Methods in Safety-Critical Railway Systems]] |
| | |
| | ===== Моделирование и предметно-ориентированные языки ===== |
| | |
| | - [[mdd:modeling|Modeling Modeling Modeling]] |
| | - [[mdd:optimizations|Does Code Generation Promote or Prevent Optimizations?]] |
| | - [[mdd:disributed_exmachine|A FUML-based Distributed Execution Machine for Enacting Software Process Models]] |
| | - [[mdd:dsl_specific|Static analysis and testing of executable DSL specification]] |
| | - [[mdd:from_towers2models|Evaluation of the Story Driven Modeling Methodology: From Towers to Models]] |
| | - [[mdd:dsl_develop|When and How to Develop Domain-Specific Languages]] |
| | - [[mdd:dsl_design_patterns|Notable design patterns for domain-specific languages]] |
| | - [[mdd:md2|Cross-Platform Model-Driven Development of Mobile Applications with MD^2]] |
| | - [[mdd:delta_modelling|Delta Modeling for Software Architectures]] |
| | - [[mdd:modeling|Modeling Modeling Modeling]] |
| | - [[mdd:test2|A Pattern Language for Service-based Platform Integration and Adaptation]] |
| | - [[mdd:visual_narrator|Extracting Conceptual Models from User Stories with Visual Narrator]] |
| | |
| | ===== Метрики и количественный анализ программного обеспечения ===== |
| | |
| | - [[mdd:classcohesion|Modeling Class Cohesion as Mixtures of Latent Topics]] |
| | - [[mdd:qual_simple|Qualitative SIMPLE]] |
| | - [[mdd:svm_fault_proneness|Software Fault Proneness Prediction Using Support Vector Machines]] |
| | - [[mdd:proneness_prediction_bayesian|Software defect prediction using Bayesian networks]] |
| | - [[mdd:spd_data_imbalance|Stability of Software Defect Prediction in Relation to Levels of Data Imbalance]] |
| | - [[mdd:design_metrics_proneness_prediction|Empirical Analysis of Object-Oriented Design Metrics for Predicting High and Low Severity Faults]] |
| | - [[mdd:test_coverage_and_post-verification_defects|Test Coverage and Post-Verification Defects]] |
| | - [[mdd:benchmarking_classification_models_for_software_defect_prediction.a_proposed_framework_and_novel_findings|Benchmarking Classification Models for Software Defect Prediction.A Proposed Framework and Novel Findings]] |
| | - [[mdd:metrics_suite_revision|Chidamber & Kemerer's Metrics Suite: A Measurement Theory Perspective]] |
| | - [[mdd:metrics_validation|State-of-the-art in empirical validation of software metrics for fault proneness prediction: systematic review]] |
| | - [[mdd:defect_prediction|Automatically learning semantic features for defect prediction]] |
| | |
| | ===== Процессы разработки ===== |
| | |
| | - [[mdd:iconix_introduction|Introduction to the ICONIX Process of Software Modeling]] |
| | - [[mdd:prediction_models|Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models]] |
| | - [[mdd:bug_fixing|The design space of bug fixes and how developers navigate it]] |
| | - [[mdd:smarty|Systematic Management of Variability in UML-based Software Product Lines]] |
| | - [[mdd:agile_fairy_tales|The Agile Method and Other Fairy Tales]] |
| | - [[mdd:build_articulate_class_model|How to Build Articulate Class Models and get Real Benefits from UML]] |
| | - [[mdd:cm_builder|CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. Automated Software Engg]] |
| | |
| | ===== Шаблоны и примеры ===== |
| | |
| | - [[mdd:test|Пример статьи]] |