需求规范模型驱动方法案例研究数据集

本数据集包含通过模型驱动和模板化方法生成的需求规范案例研究数据，涵盖ARINC-653（时间管理、分区内通信）、AUTOSAR（加密服务管理器）及传统软件（Kaggle来源）四类案例，共四个文件，均为Excel格式，用于展示该方法在不同领域需求规范中的应用。 论文“A Model-driven and Template-based Approach for Requirements Specification: Case studies”

This dataset contains case study data for requirements specification generated via model-driven and template-based methods. It covers four categories of cases: ARINC-653 (time management, intra-partition communication), AUTOSAR (Cryptographic Service Manager), and legacy software (sourced from Kaggle). There are four files in total, all in Excel format, which are used to demonstrate the application of this approach in requirements specification across different domains. The associated paper is titled "A Model-driven and Template-based Approach for Requirements Specification: Case Studies".