Skip to main content
RISC
  • Home
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎
You are currently using guest access
Log in
RISC
Home
Expand all Collapse all

Blocks

Skip Calendar

Calendar

◄   April |

May 2025

| June   ►
Monday Mon Tuesday Tue Wednesday Wed Thursday Thu Friday Fri Saturday Sat Sunday Sun
     
No events, Thursday, 1 May 1
No events, Thursday, 1 May 1
No events, Friday, 2 May 2
No events, Friday, 2 May 2
No events, Saturday, 3 May 3
No events, Saturday, 3 May 3
No events, Sunday, 4 May 4
No events, Sunday, 4 May 4
No events, Monday, 5 May 5
No events, Monday, 5 May 5
No events, Tuesday, 6 May 6
No events, Tuesday, 6 May 6
No events, Wednesday, 7 May 7
No events, Wednesday, 7 May 7
No events, Thursday, 8 May 8
No events, Thursday, 8 May 8
No events, Friday, 9 May 9
No events, Friday, 9 May 9
No events, Saturday, 10 May 10
No events, Saturday, 10 May 10
No events, Sunday, 11 May 11
No events, Sunday, 11 May 11
No events, Monday, 12 May 12
No events, Monday, 12 May 12
No events, Tuesday, 13 May 13
No events, Tuesday, 13 May 13
No events, Wednesday, 14 May 14
No events, Wednesday, 14 May 14
No events, Thursday, 15 May 15
No events, Thursday, 15 May 15
No events, Friday, 16 May 16
No events, Friday, 16 May 16
No events, Saturday, 17 May 17
No events, Saturday, 17 May 17
No events, Sunday, 18 May 18
No events, Sunday, 18 May 18
No events, Monday, 19 May 19
No events, Monday, 19 May 19
No events, Tuesday, 20 May 20
No events, Tuesday, 20 May 20
No events, Wednesday, 21 May 21
No events, Wednesday, 21 May 21
No events, Thursday, 22 May 22
No events, Thursday, 22 May 22
No events, Friday, 23 May 23
No events, Friday, 23 May 23
No events, Saturday, 24 May 24
No events, Saturday, 24 May 24
No events, Sunday, 25 May 25
No events, Sunday, 25 May 25
No events, Monday, 26 May 26
No events, Monday, 26 May 26
No events, Tuesday, 27 May 27
No events, Tuesday, 27 May 27
No events, Wednesday, 28 May 28
No events, Wednesday, 28 May 28
No events, Thursday, 29 May 29
No events, Thursday, 29 May 29
No events, Friday, 30 May 30
No events, Friday, 30 May 30
No events, Saturday, 31 May 31
No events, Saturday, 31 May 31
 
Course calendar
Skip Upcoming events

Upcoming events

There are no upcoming events
Go to calendar...
  1. SpecADT10
  2. Topic 1

Topic 1

Section outline

  • Presentations
    • Introduction (4 on 1).
    • Abstract Datatypes (4 on 1).
    • CafeOBJ (4 on 1).
    • Logic (4 on 1).
    • Specifications: Formal and Informal - A Case Study (restricted)
    • Loose Specifications (4 on 1).
    • Model-based Specifications in Larch/C++ (4 on 1).
      • Proof of Correctness of Data Representations (restricted).
      • An Overview of Larch/C++: Behavioral Specifications for C++ Modules (original site).
    • Formal Specification as a Design Tool (restricted)
    • Term Algebras (4 on 1).
    • Initial Specifications (4 on 1).
    • Executing Specifications (4 on 1).
    • Specifying in the Large (4 on 1).
    • Case Study - A Multiple Window Environment (restricted)
    • A Case Study - A Lexical Analyzer (restricted)
    • A Gentle Introduction to CASL (original site).
    Restricted Area
    Password is handed out in class.

    Literature
    Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf: Specification of Abstract Datatypes, John Wiley & Teubner, Chichester, 1996. Amazon.at Page.
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle