Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners

Abstract

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 ...