[Club2] talks on Wednesday Oct. 17, 16:00, Alonso Church

[Andrei Popescu]

Dear All, 
The coming week we have two talks by Lukas's students on a locale visualization graph and a testing tool for ML.  Please note the unusual location.
Best regards,    Andrei 
Wed. Oct. 17, 16:00, 01.09.014 ("Alonzo Church") 
Markus Kaiser: Isabelle's Graphview------------------------------------------------
Markus Kaiser worked on the visualization of complex locale dependency graphs.
Isabelle offers with locales a mechanism for modular and abstract theory and specification development. The dependencies are in large projects very complex.
Goal of this work was the implementation of a graphical user interface to visualize these dependencies.
The presentation of graphs can be configured by the user for simplified views, e.g. to show or hide specific nodes or to aggregate nodes. The implementation is developed in Scala.
Nicolai Schaffroth: A Specification-based Testing Tool for Isabelle's ML Environment (Bachelor thesis)-------------------------------------------------

When writing software, it is often difficult to ensure the result works as intended.
Therefore, testing is an important part of software development, allowing the programmer to check the correctness of his program.  Unit tests with a large number of random test cases are typically used to validate that all functions fulfill their specification for any input.
In this thesis, I adapt a specification-based testing tool for use in the theorem prover Isabelle's ML environment, while further extending it to automatically generate appropriate test data.
 

--- On Thu, 10/11/12, Lukas Bulwahn <bulwahn at in.tum.de> wrote:

From: Lukas Bulwahn <bulwahn at in.tum.de>
Subject: Club2 Talks next week, please announce and reserve room
To: popescua at in.tum.de
Date: Thursday, October 11, 2012, 4:37 PM

Hi Andrei,


could you announce the following two talks for next Wednesday at four o' clock?

Markus Kaiser: Isabelle's Graphview

Markus Kaiser worked on the visualization of complex locale dependency graphs.
Isabelle offers with locales a mechanism for modular and abstract theory and specification development. The dependencies are in large projects very complex.
Goal of this work was the implementation of a graphical user interface to visualize these dependencies.
The presentation of graphs can be configured by the user for simplified views, e.g. to show or hide specific nodes or to aggregate nodes. The implementation is developed in Scala.


Nicolai Schaffroth: A Specification-based Testing Tool for Isabelle's ML Environment (Bachelor thesis)

When writing software, it is often difficult to ensure the result works as intended.
Therefore, testing is an important part of software development, allowing the programmer to check the correctness of his program.  Unit tests with a large number of random test cases are typically used to validate that all functions fulfill their specification for any input.
In this thesis, I adapt a specification-based testing tool for use in the theorem prover Isabelle's ML environment, while further extending it to automatically generate appropriate test data.


Lukas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20121013/b22bc939/attachment.html>