← Search

Data · dataset · 2023

Reproduction Package for Evaluating the Vitruvius Approach

Listed in RADAR and RADAR4Memory — shown once because both records carry DOI 10.35097/1238

Description

The Vitruvius approach for consistency in view-based system development proposes a process and mechanisms for developing complex software and software-intensive systems by means of views that are kept consistent by explicit specifications of their dependencies. This repository provides the projects of the Vitruv framework (vitruv.tools), which implements that approach. It contains a prepared execution environment for the framework as well as case study projects.

In addition, it provides a script to run the environment and automatically resolve all dependencies based on Docker. The repository was created to be used as a reproduction package for the evaluation of the article "Enabling consistency in view-based system development - The Vitruvius approach" by Klare et al., published in "The Journal of Systems & Software".

Links

Where it is published

Catalogue records · 1

Topics

Inferred from text
Formal methods for software 77%
Provenance · 2 source records, 10 field assertions
SourceKeyLast seenRaw
RADAR10.35097/123813 d agoJSON v1
RADAR4Memory10.35097/123812 d agoJSON v1
FieldAssertionExtractorEvidence
access_levelsource · radar service eu deconnector:radar_service_eu_de@1.0.0
concepts[field].anzsrc:field:461203enrichment · radar service eu detaxonomy-embedding@1.1.0title+keywords+description (77%)
concepts[field].local:field:computer-science-aimapping · radar4memory radar service euconnector:radar4memory_radar_service_eu@1.0.0
concepts[field].local:field:computer-science-aimapping · radar service eu deconnector:radar_service_eu_de@1.0.0
concepts[field].local:field:earth-environmentalmapping · radar service eu deconnector:radar_service_eu_de@1.0.0
concepts[field].local:field:earth-environmentalmapping · radar4memory radar service euconnector:radar4memory_radar_service_eu@1.0.0
descriptionsource · radar service eu deconnector:radar_service_eu_de@1.0.0/metadata/dc/description
licensesource · radar service eu deconnector:radar_service_eu_de@1.0.0/metadata/dc/rights
publication_datesource · radar service eu deconnector:radar_service_eu_de@1.0.0
titlesource · radar service eu deconnector:radar_service_eu_de@1.0.0/metadata/dc/title