Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology

Fred D. Davis · MIS Quarterly · 1989 · 61.4K citations

Content Analysis: An Introduction to its Methodology.

Mack Shelley, Klaus Krippendorff · Journal of the American Statistical Association · 1984 · 24.6K citations

Reliability, Error Analysis, Survey Methodology +13

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Engineering, Verification, Computer-aided Verification +18

Automated consistency checking of requirements specifications

Constance Heitmeyer, Ralph D. Jeffords, B. Labaw · ACM Transactions on Software Engineering and Methodology · 1996 · 596 citations

Software Maintenance, Engineering, Verification +22

Real-time specification patterns

Sascha Konrad, Betty H. C. Cheng · 2005 · 253 citations

Engineering, Software Engineering, Embedded Systems +21