diff --git a/Lectures/L35_Analysis/Analysis.pdf b/Lectures/L35_Analysis/Analysis.pdf index 8486e2b8d15a5295710f9ae8ca8133bc6b15af5a..7ff09d632110a55b62430abc3be110ba7f757b67 100644 Binary files a/Lectures/L35_Analysis/Analysis.pdf and b/Lectures/L35_Analysis/Analysis.pdf differ diff --git a/Lectures/L35_Analysis/Analysis.tex b/Lectures/L35_Analysis/Analysis.tex index 894c0cd87fb048947ab30e7fba9001e1c32e7112..bf8aad776e221704f6a0d688afa906fd7c807135 100755 --- a/Lectures/L35_Analysis/Analysis.tex +++ b/Lectures/L35_Analysis/Analysis.tex @@ -80,6 +80,13 @@ \item A4 \bi \item Due April 3 at 11:59 pm +\item \structure{Advice} +\bi +\item \structure{Identify the module secrets, write the MIS syntax, start + implementing, revise, flesh out specification semantics, iterate} +\item \structure{Include an introduction that explains your design, including + module secrets and a uses relation} +\ei \ei \item Course evaluations