An Evolutionary Approach to Translate Operational Specifications into Declarative SpecificationsDate: November 24, 2016Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm [Slide]Share on Twitter Facebook Google+ LinkedIn Previous Next
