Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.
Saved in:
| Title: | Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. |
|---|---|
| Authors: | Post, Amalinda1, Amalinda.Post@de.bosch.com, Menzel, Igor1, Igor.Menzel@de.bosch.com, Hoenicke, Jochen2, hoenicke@informatik.uni-freiburg.de, Podelski, Andreas2, podelski@informatik.uni-freiburg.de |
| Source: | Requirements Engineering; Mar2012, Vol. 17 Issue 1, p19-33, 15p, 3 Diagrams, 5 Charts, 3 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 09473602 |
|---|---|
| DOI: | 10.1007/s00766-011-0145-9 |