Peter C. ?lveczky : Formal Modeling and Analysis of Distributed Systems in Maude, 2003.
Fra kompendiet utg?r fotnoter og de markerte "ikke-pensum" delene.
Kjernepensum:
- kapitlene 2, 3, 4, 6, 7, 8 og 10 fra kompendiet (kap. 10 blir utdelt senere)
- unntak: alt i kompendiet som er merket som "ikke pensum" (ved innrykk etc. som forklart i introduksjonen) og kapittel 10.8.
- modellering av kommunikasjon tilsvarende foilene fra forelesning 12 og 13 og oppgavesettene 12 og 13
- invarianter som beskrevet i forelesning 14 og oppgavesett 14
Kursorisk pensum og nyttige eksempler
Alt annet som ikke er markert i punktet over, eller som eksplisitt er fjernet er kursorisk pensum som er gode eksempler, diskusjoner etc. Det er ikke n?dvendig ? ha samme detaljkjennskap til kursorisk pensum som til kjernepensum. Samtidig er mye av kurset en trening i ? modellere og analysere distribuerte systemer, s? disse eksemplene gir masse nyttig trening i det. Kursorisk er s?rlig:
- alternating bit protocol.
I tillegg er forelesningene, ukeoppgavene, obligatoriske oppgaver, og eventuelle andre notater som deles ut p? forelesning eller finnes p? kursets hjemmeside ogs? pensum.
St?ttelitteratur
Filen prelude.maude leses automatisk av Maude og inneholder definisjonen av de innebygde modulene.
Maude-manualen anbefales for ? l?re mer om Maude og dens kommandoer.
Det fins ogs? en "primer" om Maude her .