Searching for "Elements of Style Analyzing a Software Design Feature with a Counterexample Detector." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

1. SMV: A model checker first implemented at...
by unknown authors
… in Alloy. References: 1. Elements of Style: Analyzing a Software Design Feature with a Counterexample…
Add To MetaCart

Course Document for Analysis of Software Artifacts
by Somesh Jha
… 19 10/20 F Alcoa Figure 2: Schedule for analysis of ADTs 1. Elements of Style: Analyzing a Software…
Add To MetaCart

unknown title
by unknown authors
…-93-1- 1330. Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector Daniel…
Add To MetaCart

Showing 1 through 3.

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