Searching for "Using Use Cases in Executable Z." – 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.

Using Use Cases in Executable Z
by Wolfgang Grieskamp, Markus Lepper — In ICFEM 2000 – IEEE Conference on Formal Engineering Methods
…Using Use Cases in Executable Z Wolfgang Grieskamp Markus Lepper Technische Universit at Berlin…
Cited by 4 (2 self) – Add To MetaCart

open standard input, output and error files
by Dimitris Dranidis, Kalliopi Tigka, Petros Kefalas — 2004 — Proc. 1 st South East European Workshop on Formal Methods
…. Lepper. Using use cases in executable Z. In ICFEM 2000 - IEEE Conference on Formal Engineering Methods…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

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