====== Библиотека по методам проектирования ======

В данной 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]]
===== Фабрики программного обеспечения, линейки ПО, повторное использование =====

  - [[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]]
  - [[mdd::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]]
  - [[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]]
  - [[mdd: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|Пример статьи]]