Supplementary Material on Learning Realizable Scenario-based, Formal Requirements Specifications

Software OPEN SOURCE
Schmelter, David;
(2017)
  • Publisher: Figshare
  • Related identifiers: doi: 10.5281/zenodo.810043
  • 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