Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

Name: Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
Published: 2024-07-19T00:00:00+08:00

NIAID Data Ecosystem2026-05-02 收录

抽象状态机建模

软件工程受控实验

数据链接：

https://zenodo.org/record/4517171 数据链接链接失效反馈

官方服务：

资源简介：

Data-Set and Artifacts: Documents, Forms, and R Scripts for Reproducibility of the Empirical Study

创建时间：

2024-07-19

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

资源简介：

相关数据集