|
1. |
Specification patterns for time-related properties
Gruhn, V.; Laue, R.;
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
23-25 June 2005
Page(s):189
-
191
Abstract:
We present a pattern system for property specification. It extends the existing patterns identified by M.B. Dwyer, G.S. Avrunin, and J.C. Corbett (1998) which allow to reason about occurrence and order of events, but not about time conditions. Introducing time-related patterns allows the specification of real-time requirements.
|
Cart
