Table of Contents

[1] Seeq

[2] Outline

[3] Little Demo

[4] Sequence Diagram

[5] Example

[6] History

[7] Manual Tools

[8] Automated Generation

[9] Thesis

[10] Pragmatics

[11] The Diagrams

[12] Details

[13] Real Example

[14] Model

[15] Application/Store/Editor

[16] Implementation

[17] Custom Classloader

[18] Gruesome Example

[19] The Verifier

[20] Features, But Not Too Many(?)

[21] Filters

[22] Threading Demo

[23] Distributed Sequence Diagram

[24] Single JVM

[25] Multiple JVMs

[26] Multiple Clients

[27] Typical Configuration

[28] Client-Server Demo

[29] Offline -edit Mode

[30] Restrictions

[31] Availability

[32] Conclusion