---
res:
  bibo_abstract:
  - Distributed, software-intensive systems such as automotive electronic control
    units have to handle various situations employing message-based coordination.
    The growing complexity of such systems results in an increasing difficulty to
    achieve a high quality of the systems' requirements specifications. Scenario-based
    requirements engineering addresses the message-based coordination of such systems
    and enables, if underpinned with formal modeling languages, automatic analyses
    for ensuring the quality of requirements specifications. However, formal requirements
    modeling languages require high expertise of the requirements engineers and many
    manual iterations until specifications reach high quality. Patterns provide a
    constructive means for assembling high-quality solutions by applying reusable
    and established building blocks. Thus, they also gained momentum in requirements
    documentation. In order to support the requirements engineers in the systematic
    conception of formal, scenario-based requirements specification models, we hence
    introduce in this paper a requirement pattern catalog for a requirements modeling
    language. We illustrate and discuss the application of the requirement patterns
    with an example of requirements for an automotive electronic control unit.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Markus
      foaf_name: Fockel, Markus
      foaf_surname: Fockel
      foaf_workInfoHomepage: http://www.librecat.org/personId=8472
    orcid: 0000-0002-1269-0702
  - foaf_Person:
      foaf_givenName: Jörg
      foaf_name: Holtmann, Jörg
      foaf_surname: Holtmann
      foaf_workInfoHomepage: http://www.librecat.org/personId=3875
    orcid: 0000-0001-6141-4571
  - foaf_Person:
      foaf_givenName: Thorsten
      foaf_name: Koch, Thorsten
      foaf_surname: Koch
      foaf_workInfoHomepage: http://www.librecat.org/personId=13616
  - foaf_Person:
      foaf_givenName: David
      foaf_name: Schmelter, David
      foaf_surname: Schmelter
      foaf_workInfoHomepage: http://www.librecat.org/personId=40982
    orcid: 0000-0001-7787-5380
  dct_date: 2018^xs_gYear
  dct_language: eng
  dct_title: Formal, Model- and Scenario-based Requirement Patterns@
...