Affiliation
- Matteo Bordin
- Department of Pure and Applied Mathematics, University of Padua
- via Belzoni 7
- 35100 Padova
- Italy
- mbordin AT studenti.math.unipd.it
- META research group
Student projects
SPJava (Static Proovable Java). SPJava is an extension of the Java programming language to allow static verification of object oriented source code. Each method is described by pre- and post- condition (design by contract): the SPJava tool performs object oriented substitution to obtain the weakest precodition that must be implied by the method's precondition. A presentation of SPJava can be found here; if you want the source code, please send me an email. The project has been developed (alone, in less than 2 months!) during the course "Testing Software", taught by prof. Frank de Boer at the Leiden Institute of Advanced Computer Science
Generative programming and Component based software engineering: a little paper introducing the principles of generative programming and its relation to a component based development process. The paper has been written as a project for the course "Component based Software Engineering" taught by prof. Marcello Bonsangue at the Leiden Institute of Advanced Computer Science. The paper can be found here.