Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners
Predrag Filipovikj, Cristina Seceleanu · 2019
With the ever-increasing size and complexity of the industrial software systems there is an imperative need for an automated, systematic and exhaustive verification of various software artifacts, s ...