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

В данной wiki собраны статьи по автоматизации разработки программного обеспечения с применением моделей, тестирования, а также смежным вопросам и примеры применения этих методов в индустрии.

Внимание! Статья должна быть выполнена в вики формате, размещать архивы на файлхостингах и указывать ссылку не допускается.

1. Embedded systems in UML
2. Alf verifier
3. A subset of precise UML for Model-based Testing
4. Automatic generation of CSP || B skeletons from xUML models
5. MuJava. An Automated Class Mutation System
6. Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm
7. jPET: an Automatic Test-Case Generator for Java
8. Detecting Software Modularity Violations
9. A complexity measure

1. RAD realities: beyond the hype to how RAD really works
2. Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing
3. Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines
4. Pragmatic model-driven development using smart use cases and domain-driven design
5. A ratioanl design process: how and why to fake it
6. Towards a Language-Independent Approach for Reverse-Engineering of Software Product Lines
7. A Reuse Definition, Assessment, and Analysis Framework for UML
8. Software Product Lines Adoption An Industrial Case Study
9. Context Variability Modeling for Runtime Configuration of Service-based Dynamic Software Product Lines
10. Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation
11. Neuro-symbolic program synthesis
12. RobustFill: Neural Program Learning under Noisy I/O
13. How to build an enterprise data lake

1. The RPG DSL: a case study of language engineering using MDD for Generating RPG Games for Mobile Phones
2. Formal Methods in Safety-Critical Railway Systems

1. Modeling Modeling Modeling
2. Does Code Generation Promote or Prevent Optimizations?
3. A FUML-based Distributed Execution Machine for Enacting Software Process Models
4. Static analysis and testing of executable DSL specification
5. Evaluation of the Story Driven Modeling Methodology: From Towers to Models
6. When and How to Develop Domain-Specific Languages
7. Notable design patterns for domain-specific languages
8. Cross-Platform Model-Driven Development of Mobile Applications with MD^2
9. Delta Modeling for Software Architectures
10. Modeling Modeling Modeling
11. A Pattern Language for Service-based Platform Integration and Adaptation
12. Extracting Conceptual Models from User Stories with Visual Narrator

1. Modeling Class Cohesion as Mixtures of Latent Topics
2. Qualitative SIMPLE
3. Software Fault Proneness Prediction Using Support Vector Machines
4. Software defect prediction using Bayesian networks
5. Stability of Software Defect Prediction in Relation to Levels of Data Imbalance
6. Empirical Analysis of Object-Oriented Design Metrics for Predicting High and Low Severity Faults
7. Test Coverage and Post-Verification Defects
8. Benchmarking Classification Models for Software Defect Prediction.A Proposed Framework and Novel Findings
9. Chidamber & Kemerer's Metrics Suite: A Measurement Theory Perspective
10. State-of-the-art in empirical validation of software metrics for fault proneness prediction: systematic review
11. Automatically learning semantic features for defect prediction

1. Introduction to the ICONIX Process of Software Modeling
2. Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
3. The design space of bug fixes and how developers navigate it
4. Systematic Management of Variability in UML-based Software Product Lines
5. The Agile Method and Other Fairy Tales
6. How to Build Articulate Class Models and get Real Benefits from UML
7. CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis. Automated Software Engg

1. Пример статьи