Supplementary Material on Learning Realizable Scenario-based, Formal Requirements Specifications
Schmelter, David;
- Publisher: Figshare
Related identifiers: - Subject: zenodo | Scenario-based Requirements, Formal Requirements Modeling, Evolutionary Computation, Multi-objective Optimization, Automatic Requirements Validation | Uncategorized
<p>Supplementary material on Learning Realizable Scenario-based, Formal Requirements Specifications: prototypical implementation and EBEAS example</p>
<p>Implementation:</p>
<ul>
<li>de.fraunhofer.iem.geneticscenarios.ui
<ul>
<li>TestHandler.java, T... View more
Share - Bookmark
- Download from