SOLID-M is a quality framework for conceptual models learned from data.his dataset provides a SOLID-M instantiation example for analyzing the quality of agent-based Petri net models discovered from da
Functional and non-functional properties analysis (i.e., dependability, security, or performance) ensures that requirements are fulfilled during the design phase of software systems. However, the Unif
The VLSAT benchmark suite (where "VL" stands for "Very Large") is a collection of one hundred of SAT formulas to be used as benchmarks in scientific experiments and software competitions. These SAT fo
A novel statistical approach to estimating latency, defined as the time it takes to learn about an event and generate response to this event, is proposed. Our approach only requires a multidimensional
