Model Based Development and testing usign formal models

From Master Projects
Jump to: navigation, search


Model Based Development and testing usign formal models
status: ongoing
Master: project within::Software Engineering
Student name: student name::Kees van de Fliert
Dates
Start start date:=2015/02/01
End end date:=2015/07/01
Supervision
Supervisor: Natalia Silvis-Cividjian
Second reader: has second reader::Wan Fokkink
Company: has company::Sogeti
Thesis: has thesis::Media:Thesis.pdf
Poster: has poster::Media:Posternaam.pdf

Signature supervisor



..................................

Abstract

Master Thesis concerning the model based development and testing of a Java EE 7 library providing increased reliability for client-server communication.