Searching for "Real-time specification patterns." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model-driven Development and Analysis of High Assurance Systems
by Sascha J. Konrad, Advisor Dr, Betty H. C. Cheng, Sascha J. Konrad, Sascha J. Konrad, Sascha J. Konrad — 2006
…. The approach comprises four main elements: First, we developed specification patterns for specifying real-time…
Cited by 2 (2 self) – Add To MetaCart

Facilitating the construction of specification pattern-based properties
by Sascha Konrad, Betty H. C. Cheng — 2005 — In: Proceedings of the IEEE International Requirements Engineering Conference (RE05
… of temporal logic formulas based on qualitative and real-time specification patterns. We illustrate…
Cited by 7 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB